Мирское имя Червенец образовано от существительного «червень». Так древние славяне называли месяц июль. Скорее всего, имя Червенец указывает на время года, в которое родился младенца. Вероятно, родители назвали сына Червенцом, так как он родился в июле.