Syntax Definition wiso 6381

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 6389 for more information.