不等号没有传递性，第二个条件应该是对于任意一个长度为 $K$ 的区间，区间中的数两两不同。