Topological Distance Function in Formal Concept Lattice

As a formalization of the concept analysis and applications, formal concept analysis has been studied for years since early 1980s, the exploration was made by many scholars in different ways, In [12], we introduce the topology structures induced by the concepts for the first time, the relationship between the topological properties and some mathematical properties are indicated. In the present paper, a distance function was defined with the topological structure, some results were given to manifest the concept, We pave a way to explore concept lattice with topological approach.