for C being FormalContext
for CP being object holds
( CP in B-carrier C iff CP is strict FormalConcept of C )