"x>4である様な実数 x のすべてから成る集合"は、述語：[x>4]の論議世界ではなくして、
カテゴリー空間。