Follow
Решётки L₀=〈𝐿₀;≤〉 и L₁=〈𝐿₁;≤〉 называются изоморфными (обозначение: L₀≅L₁), если существует взаимно однозначное отображение φ, называемое изоморфизмом, множества L₀ на множество L₁ такое, что
a≤b в L₀ ⇔ aφ≤bφ в L₁
Решётки L₀=〈𝐿₀;⋀;⋁〉 и L₁=〈𝐿₁;⋀;⋁〉 называются изоморфными (обозначение: L₀≅L₁), если существует взаимно однозначное отображение φ, называемое изоморфизмом, множества L₀ на множество L₁ такое, что
(a⋀b)φ = aφ⋀bφ
(a⋁b)φ = aφ⋁bφ
Изоморфизм решётки на себя называется автоморфизмом.
