:: deftheorem Def13 defines full ALTCAT_2:def 13 :
for C being AltCatStr
for D being SubCatStr of C holds
( D is full iff the Arrows of D = the Arrows of C || the carrier of D );