Description: A condition for subset trichotomy for functions. (Contributed by Scott Fenton, 19-Apr-2011)