1. a set whose members are members of another set; a set contained within another set
subset | subset-equational language | sqsubseteq |