Lattice Theory in Multi-Agent Systems