for A being trivial set holds IdPrefSpace A = PrefSpace A