essed as the join of a subcollection
of instance concepts. The embedding image of a type is called a type
concept. The collection of type concepts is meet-dense: any concept can
be expressed as the meet of a subcollection of type concepts.<br>
<br>
Every classification serves as the base of a concept lattice. A <span
 style="font-style: italic;">formal
concept</span> of a classification is a pair consisting of a collection
of
instances called the <span style="font-style: italic;">extent </span>of
the concep