Сегодня узнал, что...⁠⁠

душа — это компактное тотально выпуклое тотально геодезическое подмногообразие риманова многообразия (M, g) , являющееся его деформационным ретрактом.

Обычно предполагается, что (M, g) — полное связное риманово многообразие с секционной кривизной K ≥ 0.