hasFunction

Definition x 'has function' y if and only if x 'has potential' y, and y is a 'function'.