A function class is a subset of s.t. for some formula with two free variables satisfying