TransitiveHull - class version of transitiveHullOfFunction