I added a few new propositions into “Equivalent filters and rebase of filters” section (now located in the chapter “Filters and filtrators”) of my book.
I also define “unfixed filters” as the equivalence classes of (small) filters on sets.
This is a step forward to also define “unfixed funcoids” and “unfixed reloids”.