 Our work on bisimulation above can be used to effect a  reduction of the of non-wellfounded sets to that of ordinary sets, much in the spirit of what we saw for streams and functions in Section 1.1.     There are several ways to  describe such a reduction.    