A = (UA, IA) sei definiert durch:
UA := { 0, 1 }  !!! € N !!!
IA(P)	:= { (m, n) | m, n ∊ UA mit m ≠ n}
IA(Q)	:= { (m, n) | m, n ∊ UA mit m ≠ n}
IA(f)	:= (m*n – n*m) * o
IA(g)	:= (m*n – n*m) + 1

IA(y) := 3 (für y ungebunden)

IA(z) := 1