I think "isomorphic" in this context means that the two datums are interchangeable. Not necessarily residing in the same memory location, though. eq is used to find out if it's actually the same reference.

Besides, some languages/libraries can imlement a copy-on-write strategy (for example, QString in the Qt C++ library) that defy simple definitions.