I do not want to be shortened. The motivation for this is that I would prefer that someone has the ability to learn everything they need to know about relations just by reading the popup summary.
A relation is a set of tuples, all of which have the same
Examples of binary relations include the equality relation on natural numbers and the predecessor relation . When a symbol is used to denote a specific binary relation ( is commonly used for this purpose), that symbol can be used with infix notation to denote set membership: means that the pair is an element of the set .