for a, b being object holds <*a,b*> = (1,2) --> (a,b)