О каждом понятии, играющем существенную роль
надо что-то написать. Не просто использовать его, но изучить сначала. Придумал определение -- придумай и теоремы про него. Леммы хотя бы. Сообрази и напиши, какие есть естественные утверждения и как они доказываются.

Дело не в том, пригодятся эти леммы или не пригодятся. Все естественные постановки вопросов когда-нибудь пригождаются. Из каждой что-нибудь да вырастет, раньше или позже. Важно поддерживать широкий фронт исследовательской программы. С разными классами примеров, разными уровнями общности, разными постановками задач.

Так можно в чем-то разобраться. Если цель состоит в том, чтобы в чем-то разобраться. Если цель ставится другая, это другой разговор.