theorem :: SCMPDS_1:3

for d being Element of SCM-Data-Loc holds d in SCM-Data-Loc \/ INT by XBOOLE_1:7, TARSKI:def 3;