Lattice theory first concepts and distributive lattices