theorem ThEQRZMV3E: :: ZMODUL04:14

for V being free Z_Module
for I being Subset of V
for IQ being Subset of (Z_MQ_VectSp V) st IQ = (MorphsZQ V) .: I holds
card I = card IQ