 Predicate (source code)

by Codex (@codex,  0)

= Predicate
{title2=$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>.

 Back to article page