Union
$$A \cup B =$$
{ Liskov substitution, dependency inversion, efficient (creator), final (function), formal (design), interface segregation, material, open-closed, single responsibility }
Symmetric Difference
$$A \ominus B =$$
{ Liskov substitution, dependency inversion, efficient (creator), final (function), formal (design), interface segregation, material, open-closed, single responsibility }
Difference
$$A - B =$$
{ Liskov substitution, dependency inversion, interface segregation, open-closed, single responsibility }
Difference
$$B - A =$$
{ efficient (creator), final (function), formal (design), material }
Cartesian Product
$$A \times B =$$
{ (Liskov substitution, efficient (creator)),
(Liskov substitution, final (function)),
(Liskov substitution, formal (design)),
(Liskov substitution, material),
(dependency inversion, efficient (creator)),
(dependency inversion, final (function)),
(dependency inversion, formal (design)),
(dependency inversion, material),
(interface segregation, efficient (creator)),
(interface segregation, final (function)),
(interface segregation, formal (design)),
(interface segregation, material),
(open-closed, efficient (creator)),
(open-closed, final (function)),
(open-closed, formal (design)),
(open-closed, material),
(single responsibility, efficient (creator)),
(single responsibility, final (function)),
(single responsibility, formal (design)),
(single responsibility, material) }
SOLID