A = {1,2,3,4,6}とRをR = {（a、b）で定義されるa上の関係とする。a、b A、bはaで割り切れる。ロスターフォーム

回答：

#R = {（1,1）、（1,2）、（1,3）、（1,4）、（1,6）、（2,2）、（2,4）、（2,6） ）、（3,3）、（3,6）、（4,4）、（6,6）}#.

説明：

A 関係 #R# に セット #A = {1,2,3,4,6}# によって定義されます。

#R =（a、b）：サブAxxA#.

から、 #AA A in A、1 | a rArr（1、a）in R、AA a A in A#.

次、 #2 | 2; 2 | 4; 2 | 6 R#のrArr（2,2）、（2,4）、（2,6）.

このようにして進むと、

#R = {（1,1）、（1,2）、（1,3）、（1,4）、（1,6）、（2,2）、（2,4）、（2,6） ）、（3,3）、（3,6）、（4,4）、（6,6）}#.