Every non-empty set A contains an element disjoint from A — preventing infinite descending membership chains and sets containing themselves.
Every non-empty set A contains an element disjoint from A — preventing infinite descending membership chains and sets containing themselves.