Ontify
Mathematical statement of uniqueness, except for an equivalent structure (equivalence relation).