Considering the interior operator and closure operator to be modal operators on the power set Boolean algebra of "X", this construction is a special case of the construction of a modal algebra from a modal frame i.e.