veridical descriptor: the set of those that really are ..., treated as a set.

- cmima
- x
_{1}is a member/element of set x_{2}; x_{1}belongs to group x_{2}; x_{1}is amid/among/amongst group x_{2}. - terporcmi
- x
_{1}is a member of the unordered set x_{2}upon which rules x_{3}are applied in order to produce list x_{4}; x_{1}is a member of the elements constituting list x_{4}. - tertcidu
- t
_{3}is a reading material / literature consisting of texts t_{2}with audience t_{1}; t_{3}is literary. - kei'au
- mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C
- ctaipe
- x
_{1}is a value / proof of type / proposition x_{2}under context x_{3}in (type / logical) system x_{4}.