How to proof that a set is not empty?

Printable View