Inferior Semigroups and Ideals | Synapse