The connection between sets founded by ⊆ known as inclusion or containment. Equality involving sets is usually expressed concerning subsets. A more official assertion of your axiom of selection is: the Cartesian products of every indexed spouse and children of nonempty sets is non vacant