#biorder #two orders #dual order #comparison symbols #mathematical order #binary relation #order theory