OperationInterface

Представляет операцию над каталогом(ами).

Экземпляр этого интерфейса выполняет операцию над одним или несколькими каталогами и сохраняет промежуточные и конечные результаты операции.

Первый каталог в аргументах называется 'каталогом источника' или 'источником', и сохраняются следующие результаты:

Сообщения: также называемые 'все', являются допустимыми сообщениями для данного домена после выполнения операции.

Новые сообщения: также называемые 'новые' (новые = все ∖ источник = {x: x ∈ все ∧ x ∉ источник}).

Устаревшие сообщения: также называемые 'устаревшие' (устаревшие = источник ∖ все = {x: x ∈ источник ∧ x ∉ все}).

Результат: также называемый 'результатом', является результирующим каталогом для данного домена, содержащим те же сообщения, что и 'все'.