^^Dominio di una operazione binaria

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.