Function Notation Definition Simple Predicate