:: deftheorem Def11 defines dim-like INT_1:def 11 :
for x being Number holds
( x is dim-like iff ( x = - 1 or x is natural ) );