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.