Predicate ($P:X\to \{\mathrm{False},\mathrm{True}\}$)

A Boolean function expressing whether its argument satisfies a property. Membership in a set is represented by its characteristic predicate. Returning a function lets a tree fold return a predicate that subsequently checks membership of a binary search tree.