:: deftheorem Def14 defines Set-of-FormalConcepts CONLAT_1:def 15 :
for C being FormalContext
for b₂ being non empty set holds
( b₂ is Set-of-FormalConcepts of C iff for X being set st X in b₂ holds
X is FormalConcept of C );