User:Weiswu

From Wikipedia, the free encyclopedia

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