#order relation symbol #preorder relation #biorder #mathematical notation #order theory #binary relation logic