Syntax definition wrel

Description: Extend the definition of a wff to include the relation predicate. Read: " A is a relation".

	Ref	Expression
Assertion	wrel	$$wff\mathrm{Rel}A$$