It holds true mathematically speaking. You can make (mathematical) sets of everything but there's only one empty set. It's a bit like that with pointers in C:

It holds true mathematically speaking. You can make (mathematical) sets of everything but there's only one empty set. It's a bit like that with pointers in C: a char* is not a int* but null pointers are convertible to any pointer type.