\lfloor a\rfloor=\lfloor b\rfloor \land \lbrace a\rbrace\lbrace b\rbrace\neq 0