:: deftheorem Def30 defines type-distribution ABCMIZ_A:def 30 :
for l being quasi-loci
for b₂ being PartFunc of Vars,QuasiTypes holds
( b₂ is type-distribution of l iff ( dom b₂ = rng l & b₂ is even ) );