1 | | Some people (at least McConville https://arxiv.org/abs/1504.05213) use `congruence_uniform` instead of bounded, I think. |

| 1 | Some people (at least McConville https://arxiv.org/abs/1504.05213) use `congruence_uniform` instead of bounded, I think: |

| 2 | |

| 3 | 5.2 Congruence-normal and congruence-uniform lattices |

| 4 | |

| 5 | A finite lattice L is congruence-normal if there exists a |

| 6 | sequence of lattices L_1,..., L_l such that L_1 is the one-element lattice, L_l = L, and for |

| 7 | all i, there exists an order convex subset C_i of L_i such that L_{i+1} = L_i[Ci]. |

| 8 | |

| 9 | A lattice is congruence-uniform if it is both congruence-normal and semidistributive. |