Definição de Partição e Relação segundo a TNL

PARTIÇÃO

A.P.A

[P.(x y)   °(x.y.x)   x.z   y.z]>(z°.z)


RELAÇÃO

R é uma relação de A com B <=>
 .A .B
A.a>[.b   B.b   aRb]