concepts there is a <span
 style="font-style: italic;">meet </span>concept defined as the
concept generated by the intersection of the extents. This completes
the description of the concept lattice associated with a
classification.<br>
<br>
Each first order type language <span
 style="font-style: italic; font-weight: bold;">L</span> has an
associated large concept
lattice <span style="font-family: arial; font-style: italic;">truth</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) called