theorem :: RELAT_1:82

for X being set holds {} | X = {} ;