Con éstos se puede definir una topología en cualquier conjunto ordenado, la topología del orden.