we agree to disagree, я не знаю как общая теория множеств без заглядывания в реляционку поможет в рассуждениях например о коммутативности разных видов джоинов, а это чуть не первое с чем сталкивается тот кто пишет аналитический SQL..
джойны между множествами А и Б можно рассматривать как проекции надмножества, включающего все кортежи из элементов А и Б, вот почему нет?