In order to prove that \$$\left(\mathcal{E}(X), \le\right)\$$ is a poset (that is, a partially order set), shouldn't we have proved that the relation is also antisymmetric?