Дополнением множества A к множеству К называется множество всех элементов, которые принадлежат множеству К, но не принадлежат множеству A. Обозначается как K\A или K\A = {x ∈ K : x ∉ A}. Другими словами, это разность множеств К и A.