Formally, this theory is based on the triple K = (G, M, I) called formal context, where G is a set of objects, M is a set of attributes and I is the the binary relation I ⊆ G×M between objects and attributes.
(g, m) ∈ I means that g has the attribute m. For instance, occurrences of the introductory examples with the T C Aspect are encoded in the formal context given by Table 1.