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 Rel A