Inequalities in groups. I learnt that $(\mathbb{R},\times) < (\mathbb{C},\times)$, Which means the first is a subgroup of the second one. But in the first group inequality is defined, while it's not in the latter. This got me thinking, is there anything about a group which tells you which symbols ($=,\neq,<,\geq,\cdots$) are defined within a group? Shouldn't these be explicitly stated when defining a group, so you should have $(\mathbb{G},\circ,=)$, with a group, an operation, and something to compare elements within the group?
 A: 

*When talking about $\mathbb R$ and $\mathbb C$ as multiplicative groups, we only discuss the structure of multiplication, and not anything else. Thus any other structure of $\mathbb R$ or $\mathbb C$ is irrelevant.


In particular, having an order is not part of the structure of being a group. So the answer is no - there is nothing in the definition of group which tells you which other structures you might want to define on that set.
A: Inequality. There is always a notion of "inequality" in groups. In a group $G$ two elements $g, h\in G$ are equal if and only if $gh^{-1}=1$. Therefore, I do not understand your claim that inequality is not defined on $\mathbb{C}$ but is on $\mathbb{R}$†.
However, what is true is that there exist groups where it is undecidable if a combination of elements (a word) $g_1g_2\cdots g_n$ is equal to the trivial element. The key term is "the word problem for groups", and it is known to be insoluble in general. I wrote a lengthy expository math.SE answer on this topic here.
Order. There is a notion of "order" in a group. However, you have to be careful, because groups are not necessarily commutative. We talk about "left-ordered groups", "right-ordered groups" and "bi-ordered groups".


*

*A group $G$ is left-ordered if there exists a total order $<$ on the set $G$ such that if $h<k$ then $gh<gk$ for all $g\in G$.

*A group $G$ is right-ordered if there exists a total order $<$ on the set $G$ such that if $h<k$ then $hg<kg$ for all $g\in G$.

*A group $G$ is bi-ordered if it is both left and right ordered.


However, a group under a given operation is either (for example) left-orderable or not left-orderable. That is, it is not something we "give" to a group, but rather something we may or may not be able to find. A nice illustration of this idea (but it is about fields rather than groups) can be found in this math.SE answer of mine: the complex numbers $\mathbb{C}$ can be ordered in such a way that addition is respected, and (omitting $0$) in such a way that multiplication is respected, but not in such a way that both are respected. However, the reals $\mathbb{R}$ can be ordered in a way which respects both addition and multiplication.
† Having thought about this for a bit, I think both $\mathbb{R}$ and $\mathbb{C}$ should have insoluble word problem. So inequality does not "work" in these groups. Because of this thought I asked a related question here.
