Обозначение создателя множеств
- Обозначение set-builder используется для определения множеств с помощью предикатов.
- Примеры множеств включают наборы натуральных чисел, рациональных чисел и пар действительных чисел.
- Обозначение set-builder заменяет переменную x выражением, позволяя использовать функции и квантификаторы.
- Эквивалентность предикатов определяет равенство множеств, определенных с помощью обозначения set-builder.
- В формальных теориях множеств обозначение set-builder не является частью формального синтаксиса.
- В языках программирования аналогичная нотация известна как понимание списка, сочетающее операции сопоставления и фильтрации.
Полный текст статьи: