Definition, synonyms and related words
Two objects, especially systems of axioms or semantics for them, are called cryptomorphic if they are equivalent (possibly in some informal sense) but not obviously equivalent.