https://authzed.com/blog/check-it-out/ if you want a visual representation of how the set-like semantics work