Yeah, JPEG uses a convolution to effectively average the values. I think there are other ways, though I cannot remember the context or file format, which use some interesting concepts from linear algebra. I recall a professor telling me about using singular value decomposition in the process. But that’s a different topic.

I didn’t know WEBP also supports lossy compression. That makes it even more flexible.