Is “The empty set is a subset of any set” a convention? | Hacker News Reader