:: deftheorem Def17 defines quasi-discrete NATTRA_1:def 18 :
for C being Category holds
( C is quasi-discrete iff for a, b being Element of C st Hom (a,b) <> {} holds
a = b );