DEFINITIONS
Formal Concept Analysis is a method used for investigating and processing explicitely given information, in order to allow for meaningful and comprehensive interpretation
Formal emphasizes that the concepts are mathematical objects, rather than concepts of mind
a “natural” property cluster is the set of all attributes shared by one of the natural object clusters
The family of these concepts obeys the mathematical axioms defining a lattice, and is called a concept lattice
Using the derivation operators we can derive formal concepts from our formal context with the following routine:
Pick a set of objects A
Derive the attributes A'
Derive (A')'
(A'',A') is a formal concept
A dual approach can be taken starting with an attribute