Make Empty a Set

It fixes some universe issues.  If you want the [Prop], use [False].
Merge pull request #371 from JasonGross/empty-is-set

Make Empty a Set