Disjunct Hepcats

Now Define