Antarctica Starts Here.

principle of definitional equivalence - noun phrase - Often shortened to the ≡ symbol.  A polite way of saying "Because fuck you, that's why."  See also judgemental equality, homotopy type theory.