Intersection matrix
= Intersection matrix
{title2=$M_{ij}=D_i\cdot D_j$}
The intersection matrix records an <intersection pairing> on chosen classes. Its nonsingularity proves <linear independence>: a relation between the classes, paired with each class in turn, gives a vector in the matrix's kernel.