join-preserving mapping

Мат. сохраняющее объединение отображение