for a, b being set st a <> b holds
{[a,a],[b,b]} misses {[a,b],[b,a]}