Q:

Is this definition consistent and correct (infinite set)

A set $S$ is infinite iff $\forall x\in S \exists x_0\in S$ s.t. $x \leq x_0$. Obviously, by that definition we can say, since $x_0\in S \implies\exists {x_0}_{0}\in S$ s.t. $x_0\leq {x_0}_0$. Ad infinitum.
This is obviously for well-ordered sets. I can't seem to find anything wrong with this definition. Any help appreciated!

A:

Nope, $x\leq x$, so this is true for any non-empty set with an ordering. There are two canonical definitions of infinite sets

$S$ is infinite if there exists an injection $f:\mathbb N\to S$.
$S$ is infinite if for some $s\in S$, there exists an injection $f:S\to S\setminus\{s\}$.

