>>66

│φ│≧２としあるC⊆Xが存在して∀　F,∀　G⊂φ、F∩G＝C

となっているとするときφをstarとよびCをφの中心といい、│φ│＝ｒであるようなstarφをr-starという

ってのが定義です。