EmptySet4