An ideal is a set.

The denominator of a quotient ring also has to be a set.

is not a set, but an element of Z[X].

So I'd interpret it as a set of polynomials divided by :

If it is supposed to mean anything else, it is bad notation IMO and deserves a big red cross through it.