Do binary relations have multiple definitions? For example equality:
$$= \subset U \times U$$ $$(a,b) \in =$$
appears used typically as: $$a = b, =(a,b)$$
which would require a functional definition to truth values: $$= : U \times U \rightarrow 2$$
$$((a,b),t) \in =$$