Typed Binary Relation

A Typed Binary Relation is a binary relation that is a typed relation.

• See: Untyped Binary Relation, Typed n-Ary Relation.

---

---