:: deftheorem Def8 defines quasi-empty CONLAT_1:def 9 :
for C being 2-sorted
for CP being ConceptStr over C holds
( CP is quasi-empty iff ( the Extent of CP is empty or the Intent of CP is empty ) );