Formal Concept Analysis

A triple (,,) is called a

and dually for :

Intuitively speaking, is the set of all attributes common to the objects of , while is the set of all objects that have all attributes in . Furthermore, we define what a

A pair (,) is a

Thus, formal concepts are partially ordered with regard to inclusion of their extents or (which is equivalent) inverse inclusion of their intent. We now give some examples to illustrate our definitions. In the context of the tourism domain one knows for example that things like a

First of all contains objects as well as intents (sets of attributes):

Further:

Assuming that is the set of leave nodes dominated by according to :

Further:

i.e. is the relation restricted to pairs of elements of .