Syntax definition wse

Description: Extend wff notation to include the set-like predicate. Read: " R is set-like on A ".

	Ref	Expression
Assertion	wse	$$wffR\mathrm{Se}A$$