for a, b being object st a <> b holds
<*a,b,a*> is almost-one-to-one