a≤b∨b≤a