[Nullabillity]

I've only seen that used for congruence (x ≡ y <=> f(x) = f(y), for some context-dependent f).

[dhimes]

It used to mean "define" in ancient times.