Herrlich という人が 1974 年に出した概念。カテゴリ的には森田先生の generalized uniform spaces と同値だという。直接的には proximity spaces を一般化した概念だが，それがほとんど直接 uniform spaces と関係するところが面白い。

会計の仕事をしている連盟の総会が今日催され，無事決算報告が終わった。小さな連盟なので，お金のやりくりが結構大変。4年目になり，事務局からの問い合わせにもそれなりに意見が出せるようになってきた。少しは進歩しているらしい。数学とはまったく関係な…