Un preorden es una relación que es reflexiva y transitiva, pero no necesariamente antisimétrica.