n (set theory) With respect to another set, a set such that each of its elements is also an element of the other set.