for T being non empty TopSpace
for A, B being Subset of T
for n being Nat
for S being Drizzle of A,B,n holds S is Element of PFuncs (DYADIC,(bool the carrier of T))