Relación
Se define una relación como:
$$ f:(A \times B \times .... \times Z) \longrightarrow \{ V,F \} $$
Donde $A$ , $B$ ... $Z$ son conjuntos cualesquiera y $\{ V,F \}$ un conjunto con dos elementos, uno que dice que están en relación y otro que no lo están.
Si $f(a_i \times b_j \times ... \times z_k) \longrightarrow V $ entonces están en relación. y si $f(a_i \times b_j \times ... \times z_k) \longrightarrow F $ entonces estos elementos no lo están.
el conjunto $ \{V,F\} $ también puede ser $ \{1,0\} $ .
Si están en relación se suele utilizar de modo abreviado $ \Re (a_i,b_i...z_k)$
o en caso contrario $ \not\Re (a_i,b_i...z_k)$
