# General Concept Lattice

The General Concept Lattice (GCL) proposes a novel general construction of concept hierarchy from formal context, where the conventional Formal Concept Lattice based on Formal Concept Analysis (FCA) only serves as a substructure.
The formal context is a data table of heterogeneous relations illustrating how objects carrying attributes. By analogy with truth-value table, every formal context can develop its fully extended version including all the columns corresponding to attributes constructed, by means of Boolean operations, out of the given attribute set. The GCL is based on the extended formal context which comprehends the full information content of formal context in the sense that it incorporates whatever the formal context should consistently imply. Noteworthily, different formal contexts may give rise to the same extended formal context.

## Background

The GCL claims to take into account the extended formal context for preservation of information content. Consider describing a three-ball system (3BS) with three distinct colours, e.g., $a:=$red, $b:=$green and $c:=$blue. According to Table 1, one may refer to different attribute sets, say, M={a, b, c}{\textstyle M=\{a, b, c\}}, M$_1$={a or b, b or c, c or a}{\textstyle M_{1}=\{a\ {\bf {or}}\ b, b\ {\bf {or}}\ c, c\ {\bf {or}}\ a\}} or M$_2$={a or b, b or c, c}{\textstyle M_{2}=\{a\ {\bf {or}}\ b, b\ {\bf {or}}\ c, c\}} to reach different formal contexts. The concept hierarchy for the 3BS is supposed to be unique regardless of how the 3BS being described. However, the FCA exhibits different formal concept lattices subject to the chosen formal contexts for the 3BS , see Fig. 1. In contrast, the GCL is an invariant lattice structure with respect to these formal contexts since they can infer each other and ultimately entail the same information content.
Table 1: The extended version for the formal context describing the 3BS. From $F_{1}(G,M_{1})$ one can also deduce $F_{\scriptscriptstyle 3BS}(G,M)$, thereby deducing the full $F_{\scriptscriptstyle 3BS}^{\ast }(G,M^{\ast })$. Note that a¬b¬c=(a+b)¬(b+c)(c+a){\textstyle a\neg b\neg c=(a+b)\neg (b+c)(c+a)}, ¬ab¬c=(a+b)(b+c)¬(c+a){\textstyle \neg ab\neg c=(a+b)(b+c)\neg (c+a)}, ¬a¬bc=¬(a+b)(b+c)(c+a){\textstyle \neg a\neg bc=\neg (a+b)(b+c)(c+a)}. :
| | $F_{\scriptscriptstyle 3BS}(G,M)$ | $F_{\scriptscriptstyle 3BS}(G,M)$ | $F_{\scriptscriptstyle 3BS}(G,M)$ | $F_{1}(G,M_{1})$ | $F_{1}(G,M_{1})$ | $F_{1}(G,M_{1})$ | $\quad 250{\mbox{ more columns }}$ | $\quad 250{\mbox{ more columns }}$ | $\quad 250{\mbox{ more columns }}$ | $\quad 250{\mbox{ more columns }}$ | $\quad 250{\mbox{ more columns }}$ |
| $M^{\ast }$$G$ | $a$ | $b$ | $c$ | $a+b$ | $b+c$ | $c+a$ | $\neg a+b$ | $\neg c$ | $\ldots$ | ${\quad }$ | $\ldots$ |
| 1 | $\times$ | | | $\times$ | | $\times$ | | $\times$ | | | |
| 2 | | $\times$ | | $\times$ | $\times$ | | $\times$ | $\times$ | | | |
| 3 | | | $\times$ | | $\times$ | $\times$ | $\times$ | | | | |
In information science, the Formal Concept Analysis (FCA) promises practical applications in various fields based on the following fundamental characteristics.
* It orders the formal concepts in a hierarchy i.e. the formal concept lattice (FCL) which can be visualized as a line diagram that may be helpful for understanding the data.
* It enables the attribute exploration, a knowledge acquisition technique based on implications. It is possible to acquire the canonical (Guigues-Duquenne) basis, the non-redundant collection of informative implications based on which valid implications available from the formal context can be derived by the Armstrong rules.
The FCL does not appear to be the only lattice applicable to the interpretation of data table. Alternative concept lattices subject to different derivation operators based on the notions relevant to the Rough Set Analysis have also been proposed. Specifically, the object-oriented concept lattice, which is referred to as the rough set lattice (RSL) afterwards, is found to be particularly instructive to supplement the standard FCA in further understandings of the formal context.
* The FCL exhibits the categorisation for object class according to their common properties while the RSL is according to those properties which other classes do not possess.
* The RSL provides an alternative scheme for implications available from the formal context which are beyond the scope of FCL, as will be clarified later.
Consequently, there are two crucial points to be contemplated.
* The FCL and RSL reflect different concept hierarchies interpreting the same formal context in a complementary way. However, similar to the case of FCL, RSL also suffers from different lattice structures varying with respect to the chosen formal contexts, see Fig. 2.
* The implication relations extracted via the RSL from the formal context signify a different part of logic content from the ones extractable via the FCL. The treatment via the RSL would require further efforts of construction, the Guigues-Duquenne basis for the RSL. Moreover, it is unwarranted that the implications of these two together suffices the full logic content.Fig. 2: Three different rough set lattices, cf. Fig. 1, obtained from the same three formal contexts describing the 3BS.
The GCL accomplishes a sound theoretical foundation for the concept hierarchies acquired from formal context. Maintaining the generality that preserves the information, the GCL underlies both the FCL and RSL, which correspond to substructures at particular restrictions. Technically, the GCL would be reduced to the FCL and RSL when restricted to conjunctions and disjunctions of elements in the referred attribute set ($M$), respectively. In addition, the GCL unveils extra information complementary to the results via the FCL and RSL. Surprisingly, the implementation of formal context via GCL is much more manageable than those via FCL and RSL.

## Related mathematical formulations
### Algebras of derivation operators

The derivation operators constitute the building blocks of concept lattices and thus deserve distinctive notations. Subject to a formal context concerning the object set $G$ and attribute set $M$,
are considered as different modal operators (Sufficiency, Necessity and Possibility, respectively) that generalise the FCA. For notations, $I$, the operator adopted in the standard FCA, follows Bernhard Ganter [de] and R. Wille; $\Box {\mbox{ and }}\Diamond$ as well as $R$ follows Y. Y. Yao. By $gRm$, i.e., $(g,m)\in R$ the object $g$ carries the attribute m{\textstyle m} as its property, which is also referred to as $g\in m^{R}$ where $m^{R}$ is the set of all objects carrying the attribute m{\textstyle m}.
With $X,X_{1},X_{2}\subseteq G{\mbox{ and }}X^{c}:=G\backslash X$ it is straightforward to check that
where the same relations hold if given in terms of $Y,Y_{1},Y_{2}\subseteq M{\mbox{ and }}Y^{c}:=M\backslash Y$.

### Two Galois lattices
#### Galois connections

From the above algebras, there exist different types of Galois connections, e.g.,
and (3) $X\subseteq Y^{\Box }$ $\iff X^{\Diamond }\subseteq Y$ that corresponds to (2) when one replaces $X{\mbox{ for }}X^{c}$and $Y{\mbox{ for }}Y^{c}$. Note that (1) and (2) enable different object-oriented constructions for the concept hierarchies FCL and RSL, respectively. Note that (3) corresponds to the attribute-oriented construction where the roles of object and attribute in the RSL are exchanged. The FCL and RSL apply to different 2-tuple $(X,Y)$ concept collections that manifest different well-defined partial orderings.

#### Two concept hierarchies

Given as a concept, the 2-tuple $(X,Y)$ is in general constituted by an extent $X\subseteq G$ and an intent $Y\subseteq M$, which should be distinguished when applied to FCL and RSL. The concept $(X,Y)_{fcl}$ is furnished by $X^{I}=Y{\mbox{ and }}Y^{I}=X$ based on (1) while $(X,Y)_{rsl}$ is furnished by $X^{\Box }=Y{\mbox{ and }}Y^{\Diamond }=X$ based on (2). In essence, there are two Galois lattices based on different orderings of the two collections of concepts as follows.

#### Common extents of FCL and RSL

Every attribute listed in the formal context provides an extent for FCL and RSL simultaneously via the object set carrying the attribute. Though the extents for FCL and for RSL do not coincide totally, every $m^{R}$ for m∈M{\textstyle m\in M} is known to be a common extent of FCL and RSL. This turns up from the main results in FCL (Formale Begriffsanalyse#Hauptsatz der Formalen Begriffsanalyse [de]) and RSL: every $Y^{I}$ ($Y\subseteq M$) is an extent for FCL and $Y^{\Diamond }$is an extent for RSL. Note that choosing Y={m}{\textstyle Y=\{m\}} gives rise to Y$^I$=Y$^◊$=m$^R${\textstyle Y^{I}=Y^{\Diamond }=m^{R}}.

### Two types of informative implications

The consideration of the attribute set-to-set implication A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} ($A,B\subseteq M$) via FCL has an intuitive interpretation: every object possessing all the attributes in $A$ possesses all the attributes in $B$, in other words $A^{I}\subseteq B^{I}$. Alternatively, one may consider A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B} based on the RSL in a similar manner: the set of all objects carrying any of the attributes in $A$ is contained in the set of all objects carrying any of the attributes in $B$, in other words $A^{\Diamond }\subseteq B^{\Diamond }$. It is apparent that A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} and A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B} relate different pairs of attribute sets and are incapable of expressing each other.

### Extension of formal context

For every formal context one may acquire its extended version deduced in the sense of completing a truth-value table. It is instructive to explicitly label the object/attribute dependence for the formal context, say, $F(G,M):=(G,M,I)$ rather than $\mathbb {K} :=(G,M,I)$ since one may have to investigate more than one formal contexts. As is illustrated in Table 1, $F_{\scriptscriptstyle 3BS}(G,M)$ can be employed to deduce the extended version $F_{\scriptscriptstyle 3BS}^{\ast }(G,M^{\ast })$, where M$^∗${\textstyle M^{\ast }} is the set of all attributes constructed out of elements in M{\textstyle M} by means of Boolean operations. Note that $F_{\scriptscriptstyle 3BS}(G,M)$ includes three columns reflecting the use of M={a, b, c}{\textstyle M=\{a, b, c\}} and $F_{1}(G,M_{1})$ the attribute set M$_1$={a or b, b or c, c or a}{\textstyle M_{1}=\{a\ {\bf {or}}\ b, b\ {\bf {or}}\ c, c\ {\bf {or}}\ a\}}.

## Obtaining the general concept lattice
### Observations based on mathematical facts
#### Intents in terms of single attributes

The FCL and RSL will not be altered if their intents are interpreted as single attributes.
Here, the dot product ⋅ (∏){\textstyle \cdot \ (\prod )} stands for the conjunction (the dots is often omitted for compactness) and the summation + (∑){\textstyle +\ (\sum )} the disjunction, which are notations in the Curry-Howard style. Note that the orderings become

#### Implications from single attribute to single attribute

Concerning the implications extracted from formal context,
Note that $\mu _{1}^{R}\subseteq \mu _{2}^{R}$ turns out to be trivial if $\mu _{1}\leq \mu _{2}$, which entails $\mu _{1}=\mu _{1}\cdot \mu _{2}$. Intuitively, every object carrying $\mu _{1}$ is an object carrying $\mu _{2}$, which means the implication any object having the property $\mu _{1}$ must also have the property $\mu _{2}$. In particular,
where $A^{I}\subseteq B^{I}$ and $A^{\Diamond }\subseteq B^{\Diamond }$ collapse into $\mu _{1}^{R}\subseteq \mu _{2}^{R}$.

### Lattice of 3-tuple concepts with double Galois connection

When extended to F$^∗$(G, M$^∗$){\textstyle F^{\ast }(G, M^{\ast })}, the algebras of derivation operators remain formally unchanged, apart from the generalisation from m∈M{\textstyle m\in M} to μ∈M$^∗${\textstyle \mu \in M^{\ast }} which is signified in terms of the replacements $I{\mbox{ by }}I^{\ast }$, $\Box {\mbox{ by }}\Box ^{\ast }$ and $\Diamond {\mbox{ by }}\Diamond ^{\ast }$. The concepts under consideration become then (X, Y)$_{fcl}$$^∗${\textstyle (X, Y)_{fcl}^{\ast }} and (X, Y)$_{rsl}$$^∗${\textstyle (X, Y)_{rsl}^{\ast }}, where $X\subseteq G$ and $Y\subseteq M^{\ast }$, which are constructions allowable by the two Galois connections i.e. $X\subseteq Y^{I^{\ast }}\iff Y\subseteq X^{I^{\ast }}$ and Y$^{◊∗}$⊆X⟺Y⊆X$^{◻∗}${\textstyle Y^{\Diamond ^{\ast }}\subseteq X\iff Y\subseteq X^{\Box ^{\ast }}}, respectively. Henceforth,
The extents for the two concepts now coincide exactly. All the attributes in M$^∗${\textstyle M^{\ast }} are listed in the formal context F$^∗$(G, M$^∗$){\textstyle F^{\ast }(G, M^{\ast })}, each contributes a common extent for FCL and RSL. Furthermore, the collection of these common extents E$_F$:={μ$^R$∣μ∈M$^∗$}{\textstyle E_{F}:=\{\mu ^{R}\mid \mu \in M^{\ast }\}} amounts to {⋃$_{k∈J}$D$_k$∣J⊆{1…n$_F$}}{\textstyle \{\bigcup _{k\in J}D_{k}\mid J\subseteq \{1\ldots n_{F}\}\}} which exhausts all the possible unions of the minimal object sets discernible by the formal context. Note that each $D_{k}$ collects objects of the same property, see Table 2. One may then join (X, Y)$_{fcl}$$^∗${\textstyle (X, Y)_{fcl}^{\ast }} and (X, Y)$_{rsl}$$^∗${\textstyle (X, Y)_{rsl}^{\ast }} into a 3-tuple with common extent:
Note that Y$^{fcl∗}$ and Y$^{rsl∗}${\textstyle Y^{fcl\ast }{\mbox{ and }}Y^{rsl\ast }}are introduced in order to differentiate the two intents. Clearly, the number of these 3-tuples equals the cardinality of set of common extent which counts |E$_F$|=2$^{nF}${\textstyle |E_{F}|=2^{n_{F}}}. Moreover, (X, Y$^{fcl∗}$, Y$^{rsl∗}$){\textstyle (X, Y^{fcl\ast }, Y^{rsl\ast })} manifests well-defined ordering. For X$_1$, X$_2$∈E$_F$⊆G {\textstyle X_{1}, X_{2}\in E_{F}\subseteq G\ }, where Y$_1$$^{fcl∗}$, Y$_2$$^{fcl∗}$⊂M$^∗${\textstyle {Y_{1}^{fcl\ast }}, {Y_{2}^{fcl\ast }}\subset M^{\ast }}and Y$_1$$^{rsl∗}$, Y$_2$$^{rsl∗}$⊂M$^∗${\textstyle {Y_{1}^{rsl\ast }}, {Y_{2}^{rsl\ast }}\subset M^{\ast }},

### Emergence of the GCL

While it is generically impossible to determine Y$^{fcl∗}$ and Y$^{rsl∗}${\textstyle Y^{fcl\ast }{\mbox{ and }}Y^{rsl\ast }} subject to X∈E$_F$⊆G{\textstyle X\in E_{F}\subseteq G}, the structure of concept hierarchy need not rely on these intents directly. An efficient way to implement the concept hierarchy for (X, Y$^{fcl∗}$, Y$^{rsl∗}$){\textstyle (X, Y^{fcl\ast }, Y^{rsl\ast })} is to consider intents in terms of single attributes.
Let henceforth η(X):=∏Y$^{fcl∗}${\textstyle \eta (X):=\prod Y^{fcl\ast }} and ρ(X):=∑Y$^{rsl∗}${\textstyle \rho (X):=\sum Y^{rsl\ast }}. Upon introducing [X]$_F$:={μ∈M$^∗$∣μ$^R$=X}{\textstyle [X]_{F}:=\{\mu \in M^{\ast }\mid \mu ^{R}=X\}}, one may check that ∏[X]$_F$=∏Y$^{fcl∗}${\textstyle \prod [X]_{F}=\prod Y^{fcl\ast }} and ∑[X]$_F$=∑Y$^{rsl∗}${\textstyle \sum [X]_{F}=\sum Y^{rsl\ast }}, ∀X∈E$_F${\textstyle \forall X\in E_{F}}. Therefore,
which is a closed interval bounded from below by η(X){\textstyle \eta (X)} and from above by ρ(X){\textstyle \rho (X)} since $\forall \mu \ \mu ^{R}=X\implies \eta (X)\leq \mu \leq \rho (X)$. Moreover,
In addition, ⋃$_{X∈EF}$[X]$_F$=M$^∗${\textstyle \bigcup _{X\in E_{F}}[X]_{F}=M^{\ast }}, namely, the collection of intents [X]$_F${\textstyle [X]_{F}} exhausts all the generalised attributes M$^∗${\textstyle M^{\ast }}, in comparison to ⋃$_{X∈EF}$X=G{\textstyle \bigcup _{X\in E_{F}}X=G}. Then, the GCL enters as the lattice structure Γ$_F$:=(L$_F$, ∧, ∨){\textstyle \Gamma _{F}:=(L_{F}, \wedge , \vee )} based on the formal context via F$^∗$(G, M$^∗$){\textstyle F^{\ast }(G, M^{\ast })}:
* The collection of all the general concepts L$_F$={(X, [X]$_F$)∣ X∈E$_F$}{\textstyle L_{F}=\{(X, [X]_{F})\mid \ X\in E_{F}\}} constitutes the poset (L$_F$, ≤){\textstyle (L_{F}, \leq )} ordered as
* Both $\wedge$ (meet) and $\vee$ (join) operations are applicable for finding further lattice points:
* The GCL appears to be a complete lattice since both l$_{sup}${\textstyle l_{sup}} and l$_{inf}${\textstyle l_{inf}} can be found in L$_F${\textstyle L_{F}}:

## Consequence of the general concept lattice
### Manageable general lattice

The construction for FCL was known to count on efficient algorithms, not to mention the construction for RSL which did not receive much attention yet. Intriguingly, though the GCL furnishes the general structure on which both the FCL and RSL can be rediscovered, the GCL can be acquired via simple readout.

#### Reading out the lattice

The completion of GCL is equivalent to the completion of the intents of GCL in terms of the lower and bounds.
* The lower bounds (η(X) for X∈E$_F$){\textstyle (\eta (X){\mbox{ for }}X\in E_{F})} can be employed to determine the upper bounds (ρ(X) for X∈E$_F$){\textstyle (\rho (X){\mbox{ for }}X\in E_{F})}, and vice versa. For concreteness, both X{\textstyle X} and X$^c${\textstyle X^{c}} are extents of the GCL, (X, [X]$_F$)=(X, [η(X), ρ(X)]){\textstyle (X, [X]_{F})=(X, [\eta (X), \rho (X)])} coexists with (X$^c$, [X$^c$]$_F$){\textstyle (X^{c}, [X^{c}]_{F})} =(X$^c$, [η(X$^c$), ρ(X$^c$)]){\textstyle =(X^{c}, [\eta (X^{c}), \rho (X^{c})])}. Subsequently, η(X$^c$)=¬ρ(X){\textstyle \eta (X^{c})=\neg \rho (X)} and ¬η(X)=ρ(X$^c$){\textstyle \neg \eta (X)=\rho (X^{c})}, where η(X$^c$)=¬ρ(X)⟺¬η(X)=ρ(X$^c$){\textstyle \eta (X^{c})=\neg \rho (X)\iff \neg \eta (X)=\rho (X^{c})}.
* The lower bounds of intents corresponding to minimal discernible object sets (D$_k${\textstyle D_{k}}s for 1≤k≤n$_F${\textstyle 1\leq k\leq n_{F}}) can be employed to determine all the intents. Note that D$_k$∈E$_F${\textstyle D_{k}\in E_{F}} and η(D$_k$)=∏Ψ$^k${\textstyle \eta (D_{k})=\prod \Psi ^{k}} appears to be a direct readout by means of Ψ$^k$={m∈M∣m∈D$_k$$^I$}∪{¬m∣m∉D$_k$$^I$, m∈M}{\textstyle \Psi ^{k}=\lbrace m\in M\mid m\in D_{k}^{I}\rbrace \cup \lbrace \neg m\mid m\not \in D_{k}^{I}, m\in M\rbrace }.
The above enables the determinations of the intents depicted as in Fig. 3 for the 3BS given by Table 1, where one can read out that η({1})=a¬b¬c{\textstyle \eta (\{1\})=a\neg b\neg c}, η({2})=¬ab¬c{\textstyle \eta (\{2\})=\neg ab\neg c} and η({3})=¬ab¬c{\textstyle \eta (\{3\})=\neg ab\neg c}. Hence, e.g., ρ({1, 2})=¬η({3})=a+b+¬c{\textstyle \rho (\{1, 2\})=\neg \eta (\{3\})=a+b+\neg c}, η({1, 2})=a¬b¬c+¬ab¬c=¬ρ({3}){\textstyle \eta (\{1, 2\})=a\neg b\neg c+\neg ab\neg c=\neg \rho (\{3\})}. Note that the GCL also appears to be a Hasse diagram due to the resemblance of its extents to a power set. Moreover, each intent [X]$_F$=[η(X), ρ(X)]{\textstyle [X]_{F}=[\eta (X), \rho (X)]} at X{\textstyle X} also exhibits another Hasse diagram isomorphic to the ordering of attributes in the closed interval [0, 0$_ρ$]{\textstyle [{\bf {0}}, 0_{\rho }]}. It can be shown that ∀X∈E$_F$ ρ(X)=η(X)+0$_ρ${\textstyle \forall X\in E_{F}\ \rho (X)=\eta (X)+0_{\rho }} where 0$_ρ$:=¬1$_η$≡ρ(∅){\textstyle 0_{\rho }:=\neg 1_{\eta }\equiv \rho (\emptyset )} with 1$_η$:=∑$_{k=1}$$^{nF}$η(D$_k$)≡η(G){\textstyle 1_{\eta }:=\sum _{k=1}^{n_{F}}\eta (D_{k})\equiv \eta (G)}. Hence, [X]$_F$={η(X)+τ∣0≤τ≤0$_ρ$}{\textstyle [X]_{F}=\{\eta (X)+\tau \mid {\bf {0}}\leq \tau \leq 0_{\rho }\}} making the cardinality |[X]$_F$|{\textstyle |[X]_{F}|} a constant given as 2$^{2|M|−nF}${\textstyle 2^{2^{|M|}-n_{F}}}. Clearly, one may check that ρ({1, 2})=¬η({3})=η({1, 2})+0$_ρ${\textstyle \rho (\{1, 2\})=\neg \eta (\{3\})=\eta (\{1, 2\})+0_{\rho }}

#### Rediscovering FCL and RSL on the GCL

The GCL underlies the original FCL and RSL subject to F(G, M){\textstyle F(G, M)}, as one can tell from η(X)=∏Y$^{fcl∗}${\textstyle \eta (X)=\prod Y^{fcl\ast }} and ρ(X)=∑Y$^{rsl∗}${\textstyle \rho (X)=\sum Y^{rsl\ast }}. To rediscover a node for FCL, one looks for a conjunction of attributes in M{\textstyle M} contained in [X]$_F${\textstyle [X]_{F}}, which can be identified within the conjunctive normal form of η(X){\textstyle \eta (X)} if exists. Likewise, for the RSL one looks for a disjunction of attributes in M{\textstyle M} contained in [X]$_F${\textstyle [X]_{F}}, which can be found within the disjunctive normal form of ρ(X){\textstyle \rho (X)}, see Fig 3.
For instance, from the node ({3}, [{3}]$_F$){\textstyle (\{3\}, [\{3\}]_{F})} on the GCL, one finds that η({3})=¬a¬bc≤c{\textstyle \eta (\{3\})=\neg a\neg bc\leq c} ≤(a+¬b+c)(¬a+b+c){\textstyle \leq (a+\neg b+c)(\neg a+b+c)} =ρ({3}){\textstyle =\rho (\{3\})}. Note that c{\textstyle c} appears to be the only attribute belonging to [{3}]$_F${\textstyle [\{3\}]_{F}}, which is simultaneously a conjunction and a disjunction. Therefore, both the FCL and RSL have the concept ({3}, {c}){\textstyle (\{3\}, \{c\})} in common. To illustrate a different situation, ρ({1, 3})=(a+¬b+c)≥a+c{\textstyle \rho (\{1, 3\})=(a+\neg b+c)\geq a+c} ≥a¬b¬c+¬a¬bc{\textstyle \geq a\neg b\neg c+\neg a\neg bc} =η({1, 3}){\textstyle =\eta (\{1, 3\})}. Apparently, a+c{\textstyle a+c} is the attribute emerging as disjunction of elements in M{\textstyle M} which belongs to [{1, 3}]$_F${\textstyle [\{1, 3\}]_{F}}, in which no attribute composed by conjunction of elements in M{\textstyle M} is found. Hence, {1, 3}{\textstyle \{1, 3\}} could not be an extent of FCL, it only constitutes the concept ({1, 3}, {a, c}){\textstyle (\{1, 3\}, \{a, c\})} for the RSL.

### Information content of a formal context
#### Informative implications as equivalence due to categorisation

Non-tautological implication relations signify the information contained in the formal context and are referred to as informative implications. In general, μ$_1$$^R$⊆μ$_2$$^R${\textstyle \mu _{1}^{R}\subseteq \mu _{2}^{R}} entails the implication μ$_1$→μ$_2${\textstyle \mu _{1}\rightarrow \mu _{2}}. The implication is informative if it is not μ$_1$≤μ$_2${\textstyle not\ \mu _{1}\leq \mu _{2}} (i.e. μ$_1$≠μ$_1$⋅μ$_2${\textstyle \mu _{1}\neq \mu _{1}\cdot \mu _{2}}).
In case it is strictly μ$_1$$^R$⊂μ$_2$$^R${\textstyle \mu _{1}^{R}\subset \mu _{2}^{R}}, one has μ$_1$$^R$=μ$_1$$^R$∩μ$_2$$^R$=(μ$_1$⋅μ$_2$)$^R${\textstyle \mu _{1}^{R}=\mu _{1}^{R}\cap \mu _{2}^{R}=(\mu _{1}\cdot \mu _{2})^{R}} where μ$_1$$^R$∩μ$_2$$^R$⊂μ$_2$$^R${\textstyle \mu _{1}^{R}\cap \mu _{2}^{R}\subset \mu _{2}^{R}}. Then, μ$_1$→μ$_2${\textstyle \mu _{1}\rightarrow \mu _{2}} can be replaced by means of μ$_1$↔μ$_1$⋅μ$_2${\textstyle \mu _{1}\leftrightarrow \mu _{1}\cdot \mu _{2}} together with the tautology μ$_1$⋅μ$_2$⟹μ$_2${\textstyle \mu _{1}\cdot \mu _{2}\implies \mu _{2}}. Therefore, what remains to be taken into account is the equivalence μ$^R$=ν$^R$=X{\textstyle \mu ^{R}=\nu ^{R}=X} for some X∈E$_F${\textstyle X\in E_{F}}. Logically, both attributes are properties carried by the same object class, μ↔ν{\textstyle \mu \leftrightarrow \nu } reflects that equivalence relation.
All attributes in [X]$_F${\textstyle [X]_{F}} must be mutually implied, which can be implemented, e.g., by ∀μ∈[X]$_F$ μ→η(X){\textstyle \forall \mu \in [X]_{F}\ \mu \rightarrow \eta (X)} (in fact, μ↔η(X){\textstyle \mu \leftrightarrow \eta (X)} where η(X)→μ{\textstyle \eta (X)\rightarrow \mu } is a tautology), i.e., all attributes are equivalent to the lower bound of intent.

#### A formula that implements all the informative implications

Extraction of the implications of type A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} from the formal context was known to be complicated, it necessitates efforts for constructing a canonical basis, which does not apply to the implications of type A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B}. By contrast, the above equivalence only proposes
* the single formula generating all the informative implications:
* as an auxiliary formula,
Hence, purely algebraic formulae can be employed to determine the implication relations, one need not consult the object-attribute dependence in the formal context, which is the typical effort in finding the canonical basis.
Remarkably, 1$_η${\textstyle 1_{\eta }} and 0$_ρ${\textstyle 0_{\rho }} are referred to as the contextual truth and falsity, respectively. ∀X∈E$_F${\textstyle \forall X\in E_{F}} 0$_ρ$+ρ(X)=ρ(X){\textstyle 0_{\rho }+\rho (X)=\rho (X)} and 0$_ρ$⋅ρ(X)=0$_ρ${\textstyle 0_{\rho }\cdot \rho (X)=0_{\rho }} as well as 1$_η$⋅η(X)=η(X){\textstyle 1_{\eta }\cdot \eta (X)=\eta (X)} and 1$_η$+η(X)=1$_η${\textstyle 1_{\eta }+\eta (X)=1_{\eta }} similar to the conventional truth 1 and falsity 0 that can be identified with ρ(G){\textstyle \rho (G)} and η(∅){\textstyle \eta (\emptyset )}, respectively.

#### Beyond the set-to-set implications

A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} and A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B} are found to be particular forms of μ$_1$→μ$_2${\textstyle \mu _{1}\rightarrow \mu _{2}}. Assume A={a$_1$, a$_2$, …}⊆M{\textstyle A=\{a_{1}, a_{2}, \ldots \}\subseteq M} and B={b$_1$, b$_2$, …}⊆M{\textstyle B=\{b_{1}, b_{2}, \ldots \}\subseteq M} for both cases. By A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B}, an object set carrying all the attributes in A{\textstyle A} implies carrying all the attributes in B{\textstyle B} simultaneously, i.e. ∏$_i$a$_i$→∏$_i$b$_i${\textstyle \prod _{i}a_{i}\rightarrow \prod _{i}b_{i}}. By A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B}, an object set carrying any of the attributes in A{\textstyle A} implies carrying some of the attributes in B{\textstyle B}, therefore ∑$_i$a$_i$→∑$_i$b$_i${\textstyle \sum _{i}a_{i}\rightarrow \sum _{i}b_{i}}. Notably, the point of view conjunction-to-conjunction has also been emphasised by Ganter while dealing with the attribute exploration.
One could overlook significant parts of the logic content in formal context were it not for the consideration based on the GCL. Here, the formal context describing 3BS given in Table 1 suggests an extreme case where no implication of the type A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B} could be found. Nevertheless, one ends up, e.g., {a, b}→$^{fcl}${a, b, c}{\textstyle \{a, b\}{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}\{a, b, c\}} (or {a, b}→$^{fcl}${c}{\textstyle \{a, b\}{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}\{c\}}), whose meaning appears to be ambiguous. Though it is true that ab→abc{\textstyle ab\rightarrow abc}, one also notices that (ab)$^R$={a, b}$^I$=∅{\textstyle (ab)^{R}=\{a, b\}^{I}=\emptyset } as well as (abc)$^R$={a, b, c}$^I${\textstyle (abc)^{R}=\{a, b, c\}^{I}} =∅{\textstyle =\emptyset }. Indeed, by using the above formula with the 1$_η${\textstyle 1_{\eta }} provided in Fig. 2 it can be seen that ab⋅1$_η$≡0{\textstyle ab\cdot 1_{\eta }\equiv {\bf {0}}} ≡abc⋅1$_η${\textstyle \equiv abc\cdot 1_{\eta }}, hence it is ab↔0{\textstyle ab\leftrightarrow {\bf {0}}} and abc↔0{\textstyle abc\leftrightarrow {\bf {0}}} that underlies ab→abc{\textstyle ab\rightarrow abc}.
Remarkably, the same formula will lead to (1) a→a¬b¬c{\textstyle a\rightarrow a\neg b\neg c} (or a→¬b¬c{\textstyle a\rightarrow \neg b\neg c}) and (2) ¬b¬c→¬b¬ca{\textstyle \neg b\neg c\rightarrow \neg b\neg ca} (or ¬b¬c→a{\textstyle \neg b\neg c\rightarrow a}), where a{\textstyle a}, b{\textstyle b} and c{\textstyle c} can be interchanged. Hence, what one has captured from the 3BS are that (1) no two colours could coexist and that (2) there is no colour other than a{\textstyle a}, b{\textstyle b} and c{\textstyle c}. The two issues are certainly less trivial in the scopes of A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} and A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B}.

#### Rules to assemble or transform implications

The rules to assemble or transform implications of type μ→ν{\textstyle \mu \rightarrow \nu } are of direct consequences of object set inclusion relations. Notably, some of these rules can be reduced to the Armstrong axioms, which pertain to the main considerations of Guigues and Duquenne based on the non-redundant collection of informative implications acquired via FCL. In particular,
In the case of μ$_1$=∏A$_1${\textstyle \mu _{1}=\prod A_{1}}, ν$_1$=∏B$_1${\textstyle \nu _{1}=\prod B_{1}}, μ$_2$=∏A$_2${\textstyle \mu _{2}=\prod A_{2}} and ν$_2$=∏B$_2${\textstyle \nu _{2}=\prod B_{2}}, where A$_1$, A$_2$, B$_1$, B$_2${\textstyle A_{1}, A_{2}, B_{1}, B_{2}} are sets of attributes, the rule (1) can be re-expressed as Armstrong's composition:
The Armstrong axioms are not suited for A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B} which requires A⊆B{\textstyle A\subseteq B}. This is in contrast to A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} for which Armstrong's reflexivity is implemented by A⊇B{\textstyle A\supseteq B}. Nevertheless, a similar composition may occur but signify a different rule from (1). Note that one also arrives at

## Example

For concreteness, consider the example depicted by Table 2, which has been originally adopted for clarification of the RSL but worked out for the GCL.
Table 2: An example formal context. Since the objects $3{\mbox{ and }}4$ are equipped with the same property, they belong to the same minimal discernible object set. One may choose $D_{1}=\{1\}$, $D_{2}=\{2\}$, $D_{3}=\{3,4\}$, $D_{4}=\{5\}$ and $D_{5}=\{6\}$. Note that the fully extended version $F^{\ast }(G,M^{\ast })$ comprises $2^{2^{|M|}}$columns, where the cardinality of attribute set $|M|=5$. The table is huge, yet manageable when one deals with the GCL. :
| | $F(G,M)$ | $F(G,M)$ | $F(G,M)$ | $F(G,M)$ | $F(G,M)$ | $2^{2^{5}}-5{\mbox{ more columns}}$ | $2^{2^{5}}-5{\mbox{ more columns}}$ | $2^{2^{5}}-5{\mbox{ more columns}}$ | $2^{2^{5}}-5{\mbox{ more columns}}$ | $2^{2^{5}}-5{\mbox{ more columns}}$ | $2^{2^{5}}-5{\mbox{ more columns}}$ |
| $M^{\ast }$$G$ | $a$ | $b$ | $c$ | $d$ | $e$ | $\neg a+b$ | $\neg b$ | $a+\neg c+d\neg e$ | $\ldots$ | ${\quad }$ | $\ldots$ |
| 1 | $\times$ | | $\times$ | $\times$ | $\times$ | | $\times$ | $\times$ | | | |
| 2 | $\times$ | | $\times$ | | | | $\times$ | $\times$ | | | |
| 3 | | $\times$ | | | $\times$ | $\times$ | | $\times$ | | | |
| 4 | | $\times$ | | | $\times$ | $\times$ | | $\times$ | | | |
| 5 | $\times$ | | | | | | $\times$ | $\times$ | | | |
| 6 | $\times$ | $\times$ | | | $\times$ | $\times$ | | $\times$ | | | |

### The GCL structure and the identifications of FCL and RSL on the GCL

* The determinations of the nodes of GCL for Table 2 are straightforward, as is depicted in Fig.4. For example, one may read out Fig. 4: Readout of GCL from a formal context. On each node, a binary string is to denote the extent, e.g., 01010 denotes the object set D$_2$∪D$_4${\textstyle D_{2}\cup D_{4}} i.e. {2, 5}{\textstyle \{2, 5\}}, 00100 denotes D$_3${\textstyle D_{3}} i.e. {3, 4}{\textstyle \{3, 4\}}. In this figure, η({2, 5}){\textstyle \eta (\{2, 5\})} and ρ({2, 5}){\textstyle \rho (\{2, 5\})} are shown. Accordingly, one may identify all the lower and upper bounds of intents in the expressions the contextual truth and falsity (1$_η${\textstyle 1_{\eta }} and 0$_ρ${\textstyle 0_{\rho }}), respectively.
   Clearly, one may also check that ρ({2, 5})=¬η({1, 3, 4, 6})=η({2, 5})+0$_ρ${\textstyle \rho (\{2, 5\})=\neg \eta (\{1, 3, 4, 6\})=\eta (\{2, 5\})+0_{\rho }}.
* To rediscover the original FCL and RSL see Fig. 5. Observe, e.g.,
   Within the expression of η({1, 2, 5, 6}){\textstyle \eta (\{1, 2, 5, 6\})} it can be seen that a$^R$={a}$^I${\textstyle {a}^{R}=\lbrace a\rbrace ^{I}} ={1, 2, 5, 6}{\textstyle =\lbrace 1, 2, 5, 6\rbrace }, while within ρ({1, 2, 5, 6}){\textstyle \rho (\{1, 2, 5, 6\})} it can be seen (a+c+d)$^R${\textstyle (a+c+d)^{R}} ={a, c, d}$^◊${\textstyle =\lbrace {a, c, d}\rbrace ^{\Diamond }} ={1, 2, 5, 6}{\textstyle =\lbrace 1, 2, 5, 6\rbrace }. Therefore, one finds out the concepts ({1, 2, 5, 6}, {a}){\textstyle (\lbrace 1, 2, 5, 6\rbrace , \lbrace a\rbrace )} for FCL and ({1, 2, 5, 6}, {a, c, d}){\textstyle (\lbrace 1, 2, 5, 6\rbrace , \lbrace a, c, d\rbrace )} for RSL. By contrast,
   with (ae)$^R$={a, e}$^I${\textstyle (ae)^{R}=\{a, e\}^{I}} ={1, 6}{\textstyle =\{1, 6\}} gives rise to the concept ({1, 6}, {a, e}){\textstyle (\lbrace 1, 6\rbrace , \lbrace a, e\rbrace )} for FCL however fails to provide an extent for RSL because d$^R$≡{d}$^◊$={1}≠{1, 6}{\textstyle d^{R}\equiv \lbrace d\rbrace ^{\Diamond }=\lbrace 1\rbrace \neq \lbrace 1, 6\rbrace }.

### Implication relations in general

* The meanings of A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} and A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B} are essentially different.
   For the present case, the above relations can be examined via the auxiliary formula:
* A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} and A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B} are equivalent when both $A{\mbox{ and }}B$ are reduced to sets of single element.
   Note that c$^R$={c}$^I$={c}$^◊${\textstyle c^{R}=\{c\}^{I}=\{c\}^{\Diamond }} ={1, 2}{\textstyle =\{1, 2\}} ⊂{1, 2, 5, 6}{\textstyle \subset \{1, 2, 5, 6\}} =a$^R${\textstyle =a^{R}} ={a}$^I${\textstyle =\{a\}^{I}} ={a}$^◊${\textstyle =\{a\}^{\Diamond }}. Moreover, c→a{\textstyle c\rightarrow a} entails both c→c⋅a{\textstyle c\rightarrow c\cdot a} and c+a→a{\textstyle c+a\rightarrow a}, which correspond to {c}→$^{fcl}${a, c}{\textstyle \{c\}{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}\{a, c\}} and {c, a}→$^{rsl}${a}{\textstyle \{c, a\}{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}\{a\}}, respectively.
* The single formula suffices to generate all the informative implications, where one may choose any attribute in $M^{\ast }$ as the antecedent or consequent.
   For instance, by (c+d)⋅1$_η${\textstyle (c+d)\cdot 1_{\eta }} =c⋅1$_η${\textstyle =c\cdot 1_{\eta }} =a¬bc(de+¬d¬e){\textstyle =a\neg bc(de+\neg d\neg e)} the relation c+d{\textstyle c+d} →a¬bc(de+¬d¬e){\textstyle \rightarrow a\neg bc(de+\neg d\neg e)} is neither of the type A→$^{fcl}$B{\textstyle A{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}B} nor of the type A→$^{rsl}$B{\textstyle A{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}B}. Nevertheless, one may also derive, e.g., c+d→c{\textstyle c+d\rightarrow c}, c+d→a{\textstyle c+d\rightarrow a} and cd→a{\textstyle cd\rightarrow a}, which are {c, d}→$^{rsl}${c}{\textstyle \{c, d\}{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}\{c\}}, {c, d}→$^{rsl}${a}{\textstyle \{c, d\}{\stackrel {\scriptscriptstyle rsl}{\rightarrow }}\{a\}} and {c, d}→$^{fcl}${a}{\textstyle \{c, d\}{\stackrel {\scriptscriptstyle fcl}{\rightarrow }}\{a\}}, respectively. As a further interesting implication c+d→¬b(de+¬d¬e){\textstyle c+d\rightarrow \neg b(de+\neg d\neg e)} entails c+d→¬b⋅(e↔d){\textstyle c+d\rightarrow \neg b\cdot (e\leftrightarrow d)} by means of material implication. Namely, for the objects carrying the property c{\textstyle c} or d{\textstyle d}, ¬b{\textstyle \neg b} must hold and, in addition, objects carrying the property e{\textstyle e} must also carry the property d{\textstyle d} and vice versa.
   One may be interested in the properties inferring a particular consequent, say, e→a{\textstyle e\rightarrow a}. Consider μ:=¬e+a{\textstyle \mu :=\neg e+a} ⟺e→a{\textstyle \iff e\rightarrow a} giving rise to μ+0$_ρ${\textstyle \mu +0_{\rho }} =a+¬b+c+d+¬e{\textstyle =a+\neg b+c+d+\neg e} according to Table 2. Clearly, with $\neg e+a$ $\leq \mu _{1}$$\leq a+\neg b+c+d+\neg e$ one has μ$_1$↔(e→a){\textstyle \mu _{1}\leftrightarrow (e\rightarrow a)}. This gives rise to many possible antecedents such as (e→a+c+d)→(e→a){\textstyle (e\rightarrow a+c+d)\rightarrow (e\rightarrow a)}, (b→(e→a+c))→(e→a){\textstyle (b\rightarrow (e\rightarrow a+c))\rightarrow (e\rightarrow a)}, (e→(b→a+c))→(e→a){\textstyle (e\rightarrow (b\rightarrow a+c))\rightarrow (e\rightarrow a)}, (b→(e→a+c+d))→(e→a){\textstyle (b\rightarrow (e\rightarrow a+c+d))\rightarrow (e\rightarrow a)} and so forth.
   1$_η${\textstyle 1_{\eta }} can be understood as 1→1$_η${\textstyle {\bf {1}}\rightarrow 1_{\eta }} or equivalently 0$_ρ$→0{\textstyle 0_{\rho }\rightarrow {\bf {0}}}, which turns out be the only non-redundant implication one needs to deduce all the informative implications from any formal context. The basis 1→1$_η${\textstyle {\bf {1}}\rightarrow 1_{\eta }} or 0$_ρ$→0{\textstyle 0_{\rho }\rightarrow {\bf {0}}} suffices the deduction of all implications as follows. While ∀μ{\textstyle \forall \mu } 1→1$_η${\textstyle {\bf {1}}\rightarrow 1_{\eta }} ⟹μ→μ1$_η${\textstyle \implies \mu \rightarrow \mu 1_{\eta }} and ∀ν{\textstyle \forall \nu } 0$_ρ$→0{\textstyle 0_{\rho }\rightarrow {\bf {0}}} ⟹ν+0$_ρ$→ν{\textstyle \implies \nu +0_{\rho }\rightarrow \nu }, choosing either μ=ρ(X){\textstyle \mu =\rho (X)} or ν=η(X){\textstyle \nu =\eta (X)} gives rise to ρ(X)→η(X){\textstyle \rho (X)\rightarrow \eta (X)}. Notably, this encompasses (1) and (1') by means of $\mu \cdot 1_{\eta }\equiv \eta (\mu ^{R})$$\leq \mu$ $\leq \rho (\mu ^{R})\equiv \mu +0_{\rho }$ for any $\mu$, where $\mu ^{R}$ can be identified with some X{\textstyle X} corresponding to one of the 32 nodes on the GCL in Fig. 4.
   ρ(X)→η(X){\textstyle \rho (X)\rightarrow \eta (X)} develops equivalence, at each single node, for all attributes contained within the interval [η(X), ρ(X)]{\textstyle [\eta (X), \rho (X)]}. Moreover, informative implications could also relate different nodes via Hypothetical syllogism by invoking tautology. Typically, ∀μ$_1$∈[X$_1$]$_F$∀μ$_2$∈[X$_2$]$_F${\textstyle \forall \mu _{1}\in [X_{1}]_{F}\forall \mu _{2}\in [X_{2}]_{F}} μ$_1$→μ$_2${\textstyle \mu _{1}\rightarrow \mu _{2}} whenever (X$_1$, [X$_1$]$_F$){\textstyle (X_{1}, [X_{1}]_{F})} ≤(X$_2$, [X$_2$]$_F$){\textstyle \leq (X_{2}, [X_{2}]_{F})}. This corresponds to the cases considered in (1'): (b→c)→(e→a){\textstyle (b\rightarrow c)\rightarrow (e\rightarrow a)}, c→(e→a){\textstyle c\rightarrow (e\rightarrow a)}, ¬b→(e→a){\textstyle \neg b\rightarrow (e\rightarrow a)} etc. Explicitly, (b→c)→(e→a){\textstyle (b\rightarrow c)\rightarrow (e\rightarrow a)} is based upon ¬b+c∈[{1, 2, 5}]$_F${\textstyle \neg b+c\in [\{1, 2, 5\}]_{F}} and ¬e+a∈[{1, 2, 5, 6}]$_F${\textstyle \neg e+a\in [\{1, 2, 5, 6\}]_{F}} where {1, 2, 5}⊆{1, 2, 5, 6}{\textstyle \{1, 2, 5\}\subseteq \{1, 2, 5, 6\}}. Note that ¬b+c↔ρ({1, 2, 5}){\textstyle \neg b+c\leftrightarrow \rho (\{1, 2, 5\})} ↔η({1, 2, 5}){\textstyle \leftrightarrow \eta (\{1, 2, 5\})} and ¬e+a↔ρ({1, 2, 5, 6}){\textstyle \neg e+a\leftrightarrow \rho (\{1, 2, 5, 6\})} ↔η({1, 2, 5, 6}){\textstyle \leftrightarrow \eta (\{1, 2, 5, 6\})} while ρ({1, 2, 5}){\textstyle \rho (\{1, 2, 5\})} ≤ρ({1, 2, 5, 6}){\textstyle \leq \rho (\{1, 2, 5, 6\})} (also η({1, 2, 5})≤η({1, 2, 5, 6}){\textstyle \eta (\{1, 2, 5\})\leq \eta (\{1, 2, 5, 6\})}). Therefore, (b→c)→(e→a){\textstyle (b\rightarrow c)\rightarrow (e\rightarrow a)}. Similarly, c∈[{1, 2}]$_F${\textstyle c\in [\{1, 2\}]_{F}} with {1, 2}⊆{1, 2, 5, 6}{\textstyle \{1, 2\}\subseteq \{1, 2, 5, 6\}} gives c→(e→a){\textstyle c\rightarrow (e\rightarrow a)}.
   Indeed, 1→1$_η${\textstyle {\bf {1}}\rightarrow 1_{\eta }} or equivalently 0$_ρ$→0{\textstyle 0_{\rho }\rightarrow {\bf {0}}} plays the role of canonical basis with one single implication relation.