  At the same time, there is a reduction of hypersets to ordinary sets. This means that one could regard all talk of hypersets as merely abbreviatory.  This reduction is fairly complicated, and we shall present it in due course.