That's basically "infinite" DeMorgan:

https://en.wikipedia.org/wiki/De_Morgan's_laws#Extension_to_...