Description: Extend wff notation to include the well-ordering predicate. Read: " R well-orders A ".
wff R We A