Graph-Theoretic Foundations of the Local Neighborhood Product | Synapse