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.