You’re welcome, and also welcome to this forum. I’m happy to see someone from the ML subreddit. HTM posts are usually not well-received there.
You might also note that SDR unions are comparable to Bloom filters.
It seems the brain is several million years ahead of us when it comes to math / number / set theory. 