3 in set {1,2,3} inter {3,2,1,0} inter {3,4,5,6},
{2,3} psubset {1,2,3} union {4,5,6}