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

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