if A \subseteq B  then  B' \subseteq A'