OFFSET
1,1
COMMENTS
A lattice which satisfies the identities:
(x^y)V(x^z) = x^(yVz);
(xVy)^(xVz) = xV(y^z)
is said to be distributive.
REFERENCES
Gratzer, G. Lattice Theory: First Concepts and Distributive Lattices. San Francisco, CA: W. H. Freeman, pp. 35-36, 1971.
EXAMPLE
a(10) = 26 because there are 711811 unlabeled distributive lattices with 26 elements, and 711811 is a prime number.
CROSSREFS
KEYWORD
nonn
AUTHOR
Jonathan Vos Post, Feb 26 2011
STATUS
approved