Higher-order mathematical structures that generalize graphs to capture multi-way relationships and topological features.