how to define the empty set in NuSMV?

Question

I would like to build a set by a sequence of if-then-else clauses. I need the empty set to do so but {} raises a syntax error:

n