Пересечение (теория множеств)
- Пересечение двух множеств A и B определяется как набор всех объектов, которые являются членами обоих множеств.
- Пересекающиеся и непересекающиеся множества определяются в зависимости от наличия общих элементов.
- Бинарное пересечение является ассоциативной операцией, и пересечение распределяется по объединению и объединение распределяется по пересечению.
- Произвольные пересечения относятся к пересечению произвольного непустого набора множеств.
- Нулевое пересечение определяется для пустых наборов подмножеств фиксированного набора X.
- В теории типов пересечение относится к предписанному типу τ, и мы можем определить ⋂A∈∅A как универсальный набор s et τ (множество, элементами которого являются все термины типа τ).
Полный текст статьи: