2 ms·

I disagree. It’s basically set-builder notation, which probably predates any programming language. It’s a concise way to express filtering.