# modular lattice

## Primary tabs

Defines:
modular
Synonym:
Dedekind lattice
Type of Math Object:
Definition
Major Section:
Reference

## Mathematics Subject Classification

### modular inequality

Maybe the article should mention that in order to show that a lattice is modular it is really only necessary to show that x<=z implies xâˆ¨(yâˆ§z)>=(xâˆ¨y)âˆ§z since x<=z implies xâˆ¨(yâˆ§z)<=(xâˆ¨y)âˆ§z for any lattice.

### Re: modular inequality

If you would like the entry to be changed, please post a correction (preferably without strange characters).

### Re: modular inequality

Feel free to add "modular inequality" to the encyclopedia, with "modular lattice" as the parent. Also, prove this inequality in your entry, if possible.

### Re: modular inequality

should "modular inequality" not be attached to "lattice", since it applies to any lattice and not just modular lattices?

### Re: modular inequality

It is true that modular inequality applies to any lattice. But so do other lattice inequalities, like the distributive inequalities, which are covered under a separate entry whose parent is "distributive lattice".

I would recommend either putting it in a separate entry (with modular lattice as a parent), or file a correction to the "modular lattice" entry so it is mentioned under there.