#subset #containment #contained space #inside #nested #set theory