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