一応、「ab＜÷」と仮定すると、論理的扱いとしては「ab≦÷」となる。