Those are pretty much progressive rock bands, with Rush closer to rock. But Pink Floyd and ELP are for sure progressive rock banks - much in the vein of Yes, Genesis, King Crimson, Alan Parsons Project, Jethro Tull, Gentle Giant, Camel, etc.
In the words of AI…
“Progressive rock (prog)...