Description: Extend wff notation with the following predicate: R is both well-founded and set-like on A . (New usage is discouraged.)
wff R _FrSe A