1. матем. биективное антитонное отображение частично упорядоченного множества А на частично упорядоченное множество В
Источник: Wiktionary.org
