Progressive House Music??

I know this has been discussed previously in regards to the beatport top twenty....

Here is another example, most of the music within this category is electro or house, have i missed something???

https://soundcloud.com/explore/progressive%2Bhouse

Could as well bunch them up (at least progressive and electro), it's not likely that very many people will ever be able to realise that there actually is a difference.