:: deftheorem Def18 defines quasi-discrete ALTCAT_1:def 18 :
for C being AltCatStr holds
( C is quasi-discrete iff for i, j being Object of C st <^i,j^> <> {} holds
i = j );