I have re-defined filter rebase. Now it is defined for arbitrary filter on some set
and arbitrary set
.
The new definition is: .
It is shown that for the special case of the new definition is equal to the old definition that is
.
See my book (updated), chapter “Orderings of filters in terms of reloids”, for details.
The new definition is useful for studying restrictions and embeddings of funcoids and reloids.