is a binary relation with then the converse relation is also called the transpose.

Notation

The converse of the implication P -> Q may be written Q -> P, , but may also be notated , or "Bpq" (in Bochenski notation).

Categorical converse

In traditional logic, the process of switching the subject term with the predicate term is called conversion. For example, going from "No S are P"