Opposite Set

The co- means the reversal of the arrow, that is the object in the opposite structure.

The map between power power sets that preserves union and intersection is uniquely induced by a function between sets.

Complete Boolean Algebra