a c

b d
(Ƒ)
(x = a ∙ b = y) ⌵ (x = c ∙ d = y) Dies ist natürlich keine 1→1 Relation zwischen den beiden Klassen aber es ist der Ausdruck einer Regel nach der die Zeichen der Gegenstände einander zugeordnet werden können.