#subset #set theory #mathematical inclusion #contains #contained within #venezia notation