Non-Trivial Function Property

computation

Definition

Non-Trivial Function Property

Let be the set of (partial) computable functions of type .

A function property is non-trivial iff it is true for some and false for some .