На множестве
![](https://st.testna5.ru/images/3de/3de7150cd66576e1422ba3adff471cb1.png)
введено бинарное отношение, обозначенное буквой
![](https://st.testna5.ru/images/48b/48b28588fe5cc01d1e157ab4e121d3eb.png)
(если элементы
![](https://st.testna5.ru/images/eb9/eb9c73b53b6eb07ef0979a311197b458.png)
и элемент
![](https://st.testna5.ru/images/170/170f32d01a7f912e9cc279c2ae02809d.png)
находится в отношении
![](https://st.testna5.ru/images/12c/12c0bdbda5db16582b8bf2c4962fe369.png)
с элементом
![](https://st.testna5.ru/images/d21/d21eb11545d307e98e7788b06140842a.png)
, то записываем
![](https://st.testna5.ru/images/5f4/5f4be910bed7a748dbb4aa0cf615c175.png)
).
Это отношение определяется так:
![](https://st.testna5.ru/images/d6e/d6e58c9ef43c7add7a6e11ff6f7f6d5f.png)
, если
![](https://st.testna5.ru/images/0db/0db4f03e615885308eb5d30e2d53cf8a.png)
делится (нацело) на число
![](https://st.testna5.ru/images/dbd/dbd947bdb4d9b1ad2da2eb702c1423b8.png)
.
Пусть множество
![](https://st.testna5.ru/images/a18/a18db793b70b8ffa7c1f4290a905c859.png)
. Тогда множество
![](https://st.testna5.ru/images/4b2/4b2dfe8a55428897177305682d60ded3.png)
есть множество …