Hello, aaronrj!

II've got it . . .think

Under the long negation bar, we have:are subsets of the Universe.

Simplify: .

. . . . Def. of set subtraction, DeMorgan's Law

. . . . . . . . Distributive Property

. . . . . . . . Associative Property

. . . . . . . . Commutative Property

. . . . . . . . . . . .Distributive Property

. . . . . . . .Distributive Property

. . . . . . . . .Comm., Assoc. Properties

. . . . . . . . . . . . . . . . .Don't know the name of this property.

Replacing the long negation bar, we have:

. . . . . . . . . . . . . DeMorgan's Law