disj
互いに素
/mrsekut-book-4274068587/087
e.g.
all disj x,y: e | F
/mrsekut-book-4274068587/114 (4.2.3 互いに素なフィールドのグループ化)
e.g.
sig A {disj f,g: e}
f
と
g
は互いに素