Syntax definition cwsuc

Description: Declare the syntax for well-founded successor.

	Ref	Expression
Assertion	cwsuc	class wsuc ( 𝑅 , 𝐴 , 𝑋 )