Skip to content
Alloy Apprentice
empty set
Initializing search
Alloy Apprentice
Blog
Blog
Posts
Archive
Archive
2024
Categories
Categories
set theory
syntax
truth table
Reference
Reference
Official
Official
Software Abstractions
Formal Software Design with Alloy 6
Tutorial for Alloy Analyzer 4.0
Third Party
Third Party
Alloy Documentation
CS:5810 Formal Methods in Software Engineering
empty set
¶
empty sets are subsets of any sets
empty sets are subsets of empty sets