Attribute reduction and attribute characteristics of formal contexts

In this paper, by the definitions of meet-irreducible element we discuss attribute characteristics and attribute reduction of formal contexts. We first propose an effective method to determine whether an element is meet-irreducible. Then present an approach to judge the indispensable attributes and the dispensable attribute, by which the attribute reduction approach of formal contexts is also obtained. Furthermore, we show the corresponding reduction algorithm.