любимое развлечение Опять ввязался не в свое дело.
Пытаемся определять жизнь.
Хотя в математике подобные развлечения очень часты. Имеем объект, берем часть его свойств и объявляем это определением. Потом смотрим, что, кроме него, под это определение попадает.
Если повезет, и попадет достаточно много, но достаточно специфичных вещей - определение хорошее, можно изучать. Например, так из линейной алгебры появились матроиды, или (мне поближе) - из групп ранга 3 сильно регулярные графы.
Может повезти и иначе: свойств мы взяли немного, и не очень сложных, а подпадает под них только первоначальный объект. Тогда - хорошая характеризационная теорема.