nonempty inhabited infinite nonsingleton collectively exhaustive bounded amorphous countable left total disjoint