Permit Q be an "summary space", namely a nonempty set of elements to be identified as "factors" and denoted generically by (j). Some of the common operations and relations between sets, along with the usual notation, https://francestbbm023729.blogzet.com/grung-5e-secrets-44862477