nouns
a mathematical statement that two expressions are equal
domain category
a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement
is a type of (narrower)
a statement of a mathematical relation
a state of being essentially equal or equivalent; equally balanced
"on a par with the best"
the act of regarding as equal