Un objeto combinatorio formado por dos (o más) clases de elementos, típicamente llamados puntos y bloques, junto con una relación de incidencia I ⊆ P × B que registra qué puntos pertenecen a qué bloques; equivalente a un grafo bipartito o una matriz de incidencia.

Principio

La incidencia es una relación abstracta, no una inmersión geométrica: la estructura está determinada por los pares de incidencia en sentido de teoría de conjuntos y por los axiomas impuestos (regularidad, balance, tamaños de bloque), lo que permite conteos combinatorios y análisis de simetría.

Demostración

Ejemplos estándar incluyen planos proyectivos finitos (dos puntos determinan una única recta y viceversa), diseños balanceados como los diseños (v,k,λ), y configuraciones determinadas por matrices de incidencia o relaciones de adyacencia bipartitas.

Aplicación incorrecta

Tratar las estructuras de incidencia como si tuvieran nociones métricas o asumir realizabilidad geométrica sin demostración; confundir hipergráficas con diseños de bloques cuando importan multiplicidades u orden lleva a conclusiones combinatorias erróneas.

Consecuencia

Un uso correcto da acceso a identidades de conteo, dualidad (puntos↔bloques), grupos de automorfismos, propiedades espectrales de matrices de incidencia y construcciones aplicadas en teoría de códigos, geometría finita y teoría de diseños.

Inversión

La estructura dual intercambia los papeles de puntos y bloques; una perspectiva no incidental se centra en la inmersión o en relaciones métricas que ignoran los datos combinatorios abstractos de incidencia.

Límite

Se aplica a relaciones de incidencia abstractas, finitas o infinitas; excluye suposiciones implícitas de realizabilidad euclidiana o incidencia geométrica continua (por ejemplo, incidencia punto-recta en sentido topológico) salvo que se aporte esa estructura.

Tensión semántica

Tensión entre estructuras de incidencia, hipergráficas, diseños de bloques y configuraciones geométricas: se solapan pero difieren en multiplicidades permitidas, orden, restricciones axiomáticas y en si la inmersión geométrica forma parte de la definición.

Síntesis

Una estructura de incidencia es el registro abstracto de qué elementos se encuentran con qué bloques — un objeto combinatorio basado en una relación, representable por una matriz de incidencia o un grafo bipartito, y fundamental en geometría finita y teoría de diseños.