(B∩C)∪A=(B∪A)∩(C∪A)

Это дистрибутивный закон для множеств, который гласит, что объединение пересечения множеств B и C с множеством A равно пересечению объединения множества B и A с объединением множества C и A.