A theory of vague lattices based on many-valued equivalence relations—II: complete lattices · Study