Разработка компиляторов
Произведение полурешеток
Для дальнейшего изложения нам потребуется ввести операцию декартова произведения полурешеток.
Если L1,L2,...,Lk- ограниченные полурешетки конечной высоты, то такую же структуру можно ввести и на декартовом произведении этих полурешеток, определяя соответствующие понятия (операцию, наибольший и наименьший элементы) покомпонентно.
Набор монотонных функций f1,f2,...,fk соответственно на полурешетках L1,L2,...,Lk аналогичным образом индуцирует монотонную функцию на их декартовом произведении.
