your set is a subset ...