Really prime classes implying only really prime classes

A more extensive definition of the really excluded compatibility classes is given such that each member of the prime closed sets of compatibility classes is a really prime class.