subset (set + sub-; below_under)
A set A such that every element of A is also an element of S