delete
NonEmptySet