#order theory #biorder #binary relation #preorder #poset #mathematical relation #comparison relation #partial order