theorem :: PREFER_1:53

for A being trivial set holds IdPrefSpace A = PrefSpace A