Modify the definition .
The definition can be applied even in the case where the focal set infinite .
Modify the definition so that the definition can be applied even in the case where the focal set infinite .