strongly reversible n-semigroup