Lattices of composition formations of finite groups and the laws