TransitiveHull - class version of transitiveHullOfFunction (untested)