整除関係を示す記号
a|b　　bはaで割り切れる。
例えば12の約数の集合をＤとしてこの集合を内包的記法で表す。
Ｚp:正整数の集合
Ｄ={n∈Ｚp| n|12}={1,2,3,4,6,12}

この表記法で良いと思うが、縦線"|"が１番目と２番目で意味が違うので
わかりにくい。