set-theory Definition Finite Non-Empty Set A set is a finite non-empty set if it is finite and non-empty: there exists , , and distinct elements such that