ALL ( {} ) = TRUE
ANY ( {} ) = FALSE
This is just the semantic of ALL and ANY. ALL means the condition must be true for ALL tuples and hence this becomes trivially TRUE for {}. ANY means there must exist at least one tuple for which the condition is TRUE and hence this becomes trivially false for {}.