User:Weiswu

$$L(R) \subseteq L(S)=\emptyset$$ equivalent to $$L(R)\cap \overline{L(S)}=\emptyset$$