Zwischen den Begriffsumfängen werden vielmehr interne Relationen bestehen die man erweiterte Identitäten nennen könnte.
Man könnte etwa schreiben
(a,b,c)
a
=
(a,e,f)(Ƒ) d.h., die beiden Umfänge sind in bezug auf a identisch.