una función entre dos conjuntos formula_2 y formula_3, donde cada conjunto tiene un orden parcial (los dos se denotarán por ≤).