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