ADDED: rel_is_asymmetric(), rel_is_antisymmetric()