Definition:Ordered Subgroup
Jump to navigation
Jump to search
Definition
An ordered subgroup $\struct {T, \circ, \preceq}$ of an ordered structure $\struct {S, \circ, \preceq}$ is an ordered group such that the group $\struct {T, \circ}$ is a subgroup of $\struct {S, \circ}$.