"x" を回帰的かつ可分なヒルベルト空間とし、"e" を "x" の閉凸集合とする。