6.2.23 BINARY RELATIONS

Condition: to name the relationship \ (r, r^{-1}, r^{\ circ} r \), a transiturization \ (r \), if the attitude \ (r \) means "be a father".