of ordered sets, which is a total order when all these sets are themselves totally ordered." Где здесь про алфавит?
ordered set = алфавит
> Cartesian product of ordered sets ordered sets подразумеваются существующими, а так же "sets are themselves totally ordered”. Это и есть алфавит.
Обсуждают сегодня