Definition:Dipper Semigroup/Linguistic Note

Linguistic Note on Big Dipper Operation
Similarly for the algebraic structure $\struct {N_{< \paren {m \mathop + n} }, +_{m, n} }$ arising, that is, the big dipper semigroup.

The name arises as a result of a suggestion by in his, where he exploits the analogy by means of the shape of the  constellation.