Syntax Definition wiso 5199

Description: Extend the definition of a wff to include the isomorphism property. (Read: 𝐻 is an 𝑅, 𝑆 isomorphism of 𝐴 onto 𝐵.)

Hypotheses

Ref	Expression
cA	class 𝐴
cB	class 𝐵
cR	class 𝑅
cS	class 𝑆
cH	class 𝐻

Assertion

Ref	Expression
wiso	wff 𝐻 Isom 𝑅, 𝑆 (𝐴, 𝐵)

See definition df-isom 5207 for more information.