今日もちょっとAlloyで遊んでみます。ある目的から、自然数の区間 {0, 1, 2, ..., n} の性質の一部を抽象した構造が欲しくなりました。その構造とは次のものです。 サクセッサ（後者関数）に基づく全順序（線形順序） 2点間の距離 2点間の距離とは、x, y∈{0,…