Изучаю описание модуля Stores.

Из рисунка 1 видно, что операция Join объединяет 2 множества объектов типа Store. Domain, как я понял, - это как раз и есть объект, сопоставляемый множеству.

Далее, читаем про процедуру Join:
PRE 22	s0.Domain() = NIL OR s1.Domain() = NIL OR s0.Domain() = s1.Domain()
Получается, она не может объединить 2 множества, а только добавляет какой-то Store
к множеству, причём этот Store не должен принадледать к другому множеству.

Где же истина?