isLocallyIsomorphicTo

P29600 predicate

Indicates that two structures are isomorphic within some local neighborhood or restricted region, even if they may differ globally.


Sample triples (1)

Subject Object
Lorentz group SL(2,C)