The convert/equality function converts a relation to an equality, by replacing the relation with $=$.

The convert/lessthan function replaces the relation with $<$ and the convert/lessequal function replaces the relation with $<=$.

Note that the inequalities $>$ and $>=$ are automatically converted to $<$ and $<=$ by Maple.

$\mathrm{convert}\left(x<y^2\&comma;\mathrm{equality}\right)$

$x=y^2$

$\mathrm{convert}\left(x\le \sin \left(x\right)\&comma;\mathrm{lessthan}\right)$

$x<\sin \left(x\right)$

$\mathrm{convert}\left(x=y\&comma;\mathrm{lessequal}\right)$

$x\le y$