Dominio di una opbin (def)
l'insieme degli elementi su cui agisce.
Precisiamo: ci sono tanti elementi: i primi elementi, i secondi elementi e gli elementi-coppia di elementi. Complessivamente opbin opera sulla coppia.
Dominio del 1° e del 2° elemento
l'insieme dei 1i/2i elementi
X1 X2 ****** ******* * x1 * * x2 * ****\* **/**** \ / \ / | ****|***** * | * * z * **********
X1 insieme dei 1i elementi su cui opbin agisce X2 2
Non e' detto che l'operaz sia definita su tutte le combinaz X1xX2
es: nell'"es del caffe' zuccherato" le possibili dosi di zucchero e di
caffe devono essere tra loro adatte.
dom(f) dominio dell'operazione binaria (= def) insieme coppie (x1,x2) su cui opbin agisce. La relaz tra X1, X2, dom(f) e': A incluso X1xX2.
L'opbin ha dominio rettangolare (= def) dom(f) = X1xX2.