Does a set of all sets include itself?