λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript II@2 · II.tex · section · 50d64def

Finite membership and complete separation

Coverage and the evaluation contract › Finite membership and complete separation · lines 1005–1012

Back to manuscript

For a finite ordered family $S = (β_{1}, \dots, β_{s})$ , put

N_{S} = (n_{ℓ} (β_{i}))_{i, ℓ}, m_{S} = (m (β_{i}))_{i} .

Displayed formulas in this passage

unlabeled · line 1008
$N_{S} = (n_{ℓ} (β_{i}))_{i, ℓ}, m_{S} = (m (β_{i}))_{i} .$

Nearby in this section