логический морфизм

Мат. logical morphism