閉部分空間の系列formula_52が次の条件1〜5を満たすとき、formula_53は多重解像度解析を成すという。