Definitions for "Binary relation"
Keywords:  subset, dyadic, tuple, cartesian, ary
a relation , it's just as simple as that
a relation that always takes exactly two arguments
a set of ordered pair s"