mathematical relation

nouns

a relation between mathematical expressions (such as equality or inequality)

domain category

a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement

is a type of (narrower)

an abstraction belonging to or characteristic of two entities or parts together