Описание тега lexicographic
None Лексикографический или лексикографический порядок - это обобщение того, как алфавитный порядок слов основан на алфавитном порядке составляющих их букв.
Определение:
Для двух частично упорядоченных множеств A и B лексикографический порядок в декартовом произведении A × B определяется как
(a,b) ≤ (a′,b′) тогда и только тогда, когда a
Результат - частичный заказ. Если A и B полностью упорядочены, то результатом также будет общий порядок. В более общем смысле, можно определить лексикографический порядок на декартовом произведении n упорядоченных множеств, на декартовом произведении счетно бесконечного семейства упорядоченных множеств и на объединении таких множеств.