>「finite intersectionの性質」

finite intersection property
であれば、「finite intersection という性質」と訳するのが自然じゃない？

「finite intersectionの性質」
であれば、property of finite intersection となるのではないかと。。