• May 24, 2024
• in set theory
• 3 min read

MECE Principle (mutually exclusive and collectively exhaustive)

In Alloy, it is very handy to check whether MECE establishes or not.