WolframAlpha computational knowledge AI
{} ∩ {A,B}