(1), (2) and (3) aren't mutually exclusive either. It can be disjoint sets and a spectrum, which is modelled by (3), and (1) is a special case of (3) where the other axes are fixed to a constant. But you're right that (3) is the most powerful.
I like this answer, it’s concise and comprehensible, and among these options, (3) exceeds all others. I’d argue (4), (5), (6) and so on are even better, if not all always readily available.
