切片の定義って整列集合上のみに定義される概念なのでしょうか?
それとも一般の順序集合上でも定義されうるのでしょうか?