Definitions of finite
Tom 133 / 1989
Fundamenta Mathematicae 133 (1989), 169-177
DOI: 10.4064/fm-133-3-169-177