S⊃SI
S∪SI
S⊂SI
S∩SI