Дополнение (теория множеств)

• Множество A является подмножеством множества B, если каждый элемент A принадлежит B. 
• Дополнение множества A в B — множество элементов в B, но не в A. 
• Относительное дополнение A в B обозначается B \setminus A. 
• Свойства относительных дополнений включают тождества и взаимосвязи между ними. 
• Взаимодополняющее отношение R определяется как подмножество произведения множеств X × Y. 
• В языке LaTeX команда \setminus используется для отображения символа разницы в наборе. 
• Символ ∁ (дополнение) производится с помощью \complement в LaTeX.