Сделайте копию F как простой набор.Давайте назовем это G. Теперь выполните SDIFF.
Или ...
Сделайте копию F как отсортированный набор.Давайте назовем это G. Итерация по K и удаление каждого элемента из G.
SDIFF действительно должен работать с отсортированными наборами, обычными наборами или комбинациями.Но в настоящее время это не так.
Кроме того, если F очень большое, вы можете увидеть некоторые падения производительности, когда будете делать его копию.В этом случае создайте набор G в своей базе данных Redis, который будет обновляться при обновлении K.То есть F и G изначально равны.Когда вы добавляете элементы в K, удаляйте элемент из G.