locality of derivative, sets