このセットビルダー表記でコロンは何を意味しますか？

Question

「DをD = {（m、n）：m | n}で定義された自然数（N）の関係とする」

このセットビルダー表記をどのように読みますか？私はこのようなコロンを講義で見るのは覚えていません。

ご協力いただきましてありがとうございます。

Answer 1

コロンは、「が」であることを意味します。集合Dは、 mがnを分けるように、すべての順序付けされた対（m、n）の集合である。