Algebraic structure of the families of compatible frames of discernment