Description: Extend the definition of a wff to include the isomorphism property. Read: " H is an R , S isomorphism of A onto B ".