冒号在这个集合构建符号中意味着什么？

Question

指令说：＆＃34;设D是由D = {（m，n）定义的自然数（N）的关系：m | n}＆＃34;

如何读取此set-builder符号？我不记得在演讲中看到过这样的冒号。

感谢任何帮助！

Answer 1

冒号表示“ ”。集合D是所有有序对（m，n）的集合，使得 m除以n。