Empty set can be extended to a maximal set