proving a set is closed

Printable View