Belief functions on lattices · Study