Assertion: potential isomorphism | /r/CapableOf | satisfy following two properties
Facets:
Source sentences:
text: A potential isomorphism between two models M and N is a non-empty collection F of finite partial isomorphisms between M and N which satisfy the following two properties: