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