for a, b being object st a <> b holds
{[a,b]} is asymmetric