WolframAlpha computational knowledge AI
is complement B a subset of B union A