กก
Transitive: P(x,y) and P(y,z) implies P(x,z)
Symmetric: P(x,y) iff P(y,x)
Functional: P(x,y) and P(x,z) implies y = z
Inverse: P1(x,y) iff P2(y,x)
