Set Theory Chapter: Definitions of "a finite set" and "an infinite set"