https://stoplearn.com/associated-terms-in-algebra-of-sets-and-algebra-of-propositions/