relation3: STS Unavailable

relation3 defines the following Names, but STS signatures are not currently available.

• is_relation
• equivalence_closure
• transitive_closure
• reflexive_closure
• symmetric_closure
• is_transitive
• is_reflexive
• is_symmetric
• is_equivalence
• class
• classes