Finite Nonempty Set

From GM-RKB
Jump to: navigation, search

A Finite Nonempty Set is a Finite Set that is a Nonempty Set.