Cтраница 4
Частично упорядоченное множество называется полной структурой ( полной решеткой), если всякое его непустое подмножество имеет как точную верхнюю, так и точную нижнюю грани. [46]
Покажем, что является изоморфизмом полных структур / 7 и U7 т.е. что / сохраняет наибольшие нижние и наименьшие верхние грани. [47]