theorem :: MORPH_01:30

for E being RealLinearSpace
for A, B, C being non empty binary-image of E st A c= B holds
(erosion C) . A c= (erosion C) . B