Когда разность A\(\B\) является дополнением множества B до множества А?

Разность A \ B является дополнением множества B до множества A по определению. То есть, A \ B состоит из всех элементов A, которые не принадлежат B.