在实数集中，我们定义的大小关系“”为全体实数排了一个“序”．类似实数排序的定义，我们定义“点序”记为“”：已知和，，当且仅当“”或“且”．定义两点的“”与“”运算如下：
．
则下面四个命题：
①已知和，则；
②已知和，若，则，且；
③已知，，则；
④已知，则对任意的点，都有；
⑤已知，则对任意的点，都有．
其中真命题的序号为              （把真命题的序号全部写出）