In other words, <math>(\mathfrak{S}^\mathfrak{L})_{uv} = 0</math> if and only if there exists an <math>x \in X</math> such that <math>\mathfrak{S}_{ux} = 0</math> and <math>\mathfrak{L}_{xv} = 1.</math>
+
In other words, <math>(\mathfrak{S}^\mathfrak{L})_{xy} = 0</math> if and only if there exists a <math>p \in X</math> such that <math>\mathfrak{S}_{xp} = 0</math> and <math>\mathfrak{L}_{py} = 1.</math>