Displaying similar documents to “On the existence of factor sets by external equivalences in IST.”