theorem Th24: :: ALGSTR_4:24

for X being set holds
( X = {} iff free_magma_carrier X = {} )