:: deftheorem defines Int-like AMI_2:def 16 :
for x being set holds
( x is Int-like iff x in SCM-Data-Loc );