Continuous predicate (source code)

= Continuous predicate
{wiki=Continuous_predicate}