Description: The transitive predecessors form a subset of the base class. (Contributed by Scott Fenton, 20-Feb-2011)