x_{1} is a mathematical set, containing members x_{2}

Syn. setmima. See cmima, girzu, gunma, lu'i, ce

- enklesi
- x
_{1}is an (arbitrary) x_{2}-set (li) of superset x_{3}; x_{1}is subset/subgroup/subcategory/subclass/vel sim. of x_{3}with cardinality/size x_{2}. - praperi
- x
_{1}is a strict/proper sub-x_{2}[structure] in/of x_{3}; x_{2}is a structure and x_{1}and x_{3}are both examples of that structure x_{2}such that x_{1}is entirely contained within x_{3}(where containment is defined according to the standard/characteristics/definition of x_{2}; but in any case, no member/part/element that belongs to x_{1}does not also belong to x_{3}), but there is some member/part/element of x_{3}that does not belong to x_{1}in the same way.