Существует ли формализм для этой структуры данных?

Я ищу математический формализм для структуры данных, с которой я работаю, чтобы я мог отследить соответствующие теоремы и алгоритмы.

Предположим, у вас есть следующий:

• Ориентированный ациклический граф тем.
• В каждой теме существует одно или несколько отношений между темой, элементами в наборе документов и элементами в наборе групп.
• Группы могут быть простым набором или могут заканчиваться DAG. Они используются для управления видимостью связи документа с темой.

Только недавно я столкнулся с гиперграфами , которые кажутся уместными, но слишком общими. Существует ли формализм для этой структуры данных? Если нет, то можно ли описать его более кратко в математических терминах?