Category:Set Union is Self-Distributive