Baer *-semigroup