Xを位相空間とする。X上のfunctional structureとは、Xの開集合族の上で定義された関数FXで次を満たすもの(U,V,Uα: 開集合)： FX(U)はU上の実数値連続関数の環の部分環である; U≠∅ならばFX(U)はすべての定数関数を含む;FX(∅)は0だけからなる多元環とする V⊂U…