t and a collection of types
called the <span style="font-style: italic;">intent </span>of the
concept, where every instance is classified by
every type, and there are no other such instances or types. A formal
concept can be represented by either its extent or its intent, since
these are equivalent and define each other. One concept is below
another concept in the <span style="font-style: italic;">lattice order</span>
when it is more specialized &#8211; it
has a bigger intent and a smaller extent. Any colle