:: deftheorem defines co-universal CONLAT_1:def 12 :
for C being FormalContext
for CP being ConceptStr over C holds
( CP is co-universal iff the Intent of CP = the carrier' of C );