有限集合上のフィルターと約積

　直積の一般化として約積というものが知られている．大雑把に言えば約積とは直積をフィルターというものを使って同値関係で割ったものである．
　約積の具体例を考えているときに，有限個の構造の約積は，結局直積になることに気がついた．そのことについて記しておく．