Funktor

start

definition
  let x1 be Θ1;
   .....
  let xn be Θn;
  mode θ of (a1,...,am)  -> Θ' means Φ(x1,...,xn,it);
end;

definition
  let x1 be Θ1;
   .....
  let xn be Θn;
  mode θ of (a1,...,am)  is Θ';
end;

gdzie {a₁,...,a_m} ⊆ {x₁,...,x_n-1} oraz domknięcie zbioru {a₁,...,a_m} ze względu na zależność typów daje cały zbiór {x₁,...,x_n-1}.

Mode %theta; of (a₁,...,a_m) słuźy do tworzenia typów θ of (τ₁,...,τ_m).

Przykłady:

set, Relation, Function of A,B, Homomorphism of A,B, mmlquery