 In a regular semigroup "S", however, an element "a" = "axa" automatically belongs to these ideals, without recourse to adjoining an identity.Green's relations can therefore be redefined for regular semigroups as follows