Let be two elements with atoms. The pair
satisfies the following universal property:
supports both
and
, and if
is another element with this property, then
supports
.
We demonstrate the existence of an element denoted , with a dual property:
is supported both by
and by
, and if
is another element with this property, then
is supported by
. The construction does not require any assumptions on the symmetry.