Distributive Laws/Set Theory/Examples