:: deftheorem defines latt YELLOW21:def 6 :
for C being lattice-wise category
for a being Object of C holds latt a = a;