In mathematics, a polyadic space is a topological space that is the image under a continuous function of a topological power of an Alexandroff one-point compactification of a discrete space.
 Polyadic spaces were first studied by S. Mrówka in 1970 as a generalisation of dyadic spaces. The theory was developed further by R. H. Marty, János Gerlits and Murray G. Bell, the latter of whom introduced the concept of the more general centred spaces.
 A subset K of a topological space X is said to be compact if every open cover of K contains a finite subcover. It is said to be locally compact at a point x ∈ X if x lies in the interior of some compact subset of X. X is a locally compact space if it is locally compact at every point in the space.
 A proper subset A ⊂ X is said to be dense if the closure Ā = X. A space whose set has a countable, dense subset is called a separable space.
 For a non-compact, locally compact Hausdorff topological space 
  
    
      
        (
        X
        ,
        
          τ
          
            X
          
        
        )
      
    
    {\displaystyle (X,\tau _{X})}
  
, we define the Alexandroff one-point compactification as the topological space with the set 
  
    
      
        
          {
          ω
          }
        
        ∪
        X
      
    
    {\displaystyle \left\{\omega \right\}\cup X}
  
, denoted 
  
    
      
        ω
        X
      
    
    {\displaystyle \omega X}
  
, where 
  
    
      
        ω
        ∉
        X
      
    
    {\displaystyle \omega \notin X}
  
, with the topology 
  
    
      
        
          τ
          
            ω
            X
          
        
      
    
    {\displaystyle \tau _{\omega X}}
  
 defined as follows:
 Let 
  
    
      
        X
      
    
    {\displaystyle X}
  
 be a discrete topological space, and let 
  
    
      
        ω
        X
      
    
    {\displaystyle \omega X}
  
 be an Alexandroff one-point compactification of 
  
    
      
        X
      
    
    {\displaystyle X}
  
. A Hausdorff space 
  
    
      
        P
      
    
    {\displaystyle P}
  
 is polyadic if for some cardinal number 
  
    
      
        λ
      
    
    {\displaystyle \lambda }
  
, there exists a continuous surjective function 
  
    
      
        f
        :
        ω
        
          X
          
            λ
          
        
        →
        P
      
    
    {\displaystyle f:\omega X^{\lambda }\rightarrow P}
  
, where 
  
    
      
        ω
        
          X
          
            λ
          
        
      
    
    {\displaystyle \omega X^{\lambda }}
  
 is the product space obtained by multiplying 
  
    
      
        ω
        X
      
    
    {\displaystyle \omega X}
  
 with itself 
  
    
      
        λ
      
    
    {\displaystyle \lambda }
  
 times.
 Take the set of natural numbers 
  
    
      
        
          
            Z
          
          
            +
          
        
      
    
    {\displaystyle \mathbb {Z} ^{+}}
  
 with the discrete topology. Its Alexandroff one-point compactification is 
  
    
      
        ω
        
          
            Z
          
          
            +
          
        
      
    
    {\displaystyle \omega \mathbb {Z} ^{+}}
  
. Choose 
  
    
      
        λ
        =
        1
      
    
    {\displaystyle \lambda =1}
  
 and define the homeomorphism 
  
    
      
        h
        :
        ω
        
          
            Z
          
          
            +
          
        
        →
        
          [
          
            0
            ,
            1
          
          ]
        
      
    
    {\displaystyle h:\omega \mathbb {Z} ^{+}\rightarrow \left[0,1\right]}
  
 with the mapping
 It follows from the definition that the image space 
  
    
      
        h
        [
        ω
        
          Z
        
        ]
        =
        
          {
          0
          }
        
        ∪
        
          {
          
            1
            
              /
            
            n
            
            :
            
            n
            ∈
            
              N
            
          
          }
        
      
    
    {\displaystyle h[\omega \mathbb {Z} ]=\left\{0\right\}\cup \left\{1/n\,:\,n\in \mathbb {N} \right\}}
  
 is polyadic and compact directly from the definition of compactness, without using Heine-Borel.
 Every dyadic space (a compact space which is a continuous image of a Cantor set) is a polyadic space.
 Let X be a separable, compact space. If X is a metrizable space, then it is polyadic (the converse is also true).
 The cellularity 
  
    
      
        c
        (
        X
        )
      
    
    {\displaystyle c(X)}
  
 of a space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is
  The tightness 
  
    
      
        t
        (
        X
        )
      
    
    {\displaystyle t(X)}
  
 of a space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is defined as follows: let 
  
    
      
        A
        ⊆
        X
      
    
    {\displaystyle A\subseteq X}
  
, and 
  
    
      
        p
        ∈
        
          
            
              A
              ¯
            
          
        
      
    
    {\displaystyle p\in {\bar {A}}}
  
. Define
  The topological weight 
  
    
      
        w
        (
        X
        )
      
    
    {\displaystyle w(X)}
  
 of a polyadic space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 satisfies the equality 
  
    
      
        w
        (
        X
        )
        =
        c
        (
        X
        )
        ⋅
        t
        (
        X
        )
      
    
    {\displaystyle w(X)=c(X)\cdot t(X)}
  
.
 Let 
  
    
      
        X
      
    
    {\displaystyle X}
  
 be a polyadic space, and let 
  
    
      
        A
        ⊆
        X
      
    
    {\displaystyle A\subseteq X}
  
. Then there exists a polyadic space 
  
    
      
        P
        ⊆
        X
      
    
    {\displaystyle P\subseteq X}
  
 such that 
  
    
      
        A
        ⊆
        P
      
    
    {\displaystyle A\subseteq P}
  
 and 
  
    
      
        c
        (
        P
        )
        ≤
        c
        (
        A
        )
      
    
    {\displaystyle c(P)\leq c(A)}
  
.
 Polyadic spaces are the smallest class of topological spaces that contain metric compact spaces and are closed under products and continuous images. Every polyadic space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 of weight 
  
    
      
        ≤
        
          2
          
            ω
          
        
      
    
    {\displaystyle \leq 2^{\omega }}
  
 is a continuous image of 
  
    
      
        
          
            Z
          
          
            +
          
        
      
    
    {\displaystyle \mathbb {Z} ^{+}}
  
.
 A topological space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 has the Suslin property if there is no uncountable family of pairwise disjoint non-empty open subsets of 
  
    
      
        X
      
    
    {\displaystyle X}
  
. Suppose that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 has the Suslin property and is polyadic. Then 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is dyadic.
 Let 
  
    
      
        d
        i
        s
        (
        X
        )
      
    
    {\displaystyle dis(X)}
  
 be the least number of discrete sets needed to cover 
  
    
      
        X
      
    
    {\displaystyle X}
  
, and let 
  
    
      
        Δ
        (
        X
        )
      
    
    {\displaystyle \Delta (X)}
  
 denote the least cardinality of a non-empty open set in 
  
    
      
        X
      
    
    {\displaystyle X}
  
. If 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a polyadic space, then 
  
    
      
        d
        i
        s
        (
        X
        )
        ≥
        Δ
        (
        X
        )
      
    
    {\displaystyle dis(X)\geq \Delta (X)}
  
.
 There is an analogue of Ramsey's theorem from combinatorics for polyadic spaces. For this, we describe the relationship between Boolean spaces and polyadic spaces. Let 
  
    
      
        C
        O
        (
        X
        )
      
    
    {\displaystyle CO(X)}
  
 denote the clopen algebra of all clopen subsets of 
  
    
      
        X
      
    
    {\displaystyle X}
  
. We define a Boolean space as a compact Hausdorff space whose basis is 
  
    
      
        C
        O
        (
        X
        )
      
    
    {\displaystyle CO(X)}
  
. The element 
  
    
      
        G
        ∈
        C
        O
        (
        X
        
          )
          ′
        
      
    
    {\displaystyle G\in CO(X)'}
  
 such that 
  
    
      
        ⟨
        ⟨
        G
        ⟩
        ⟩
        =
        C
        O
        (
        X
        )
      
    
    {\displaystyle \langle \langle G\rangle \rangle =CO(X)}
  
 is called the generating set for 
  
    
      
        C
        O
        (
        X
        )
      
    
    {\displaystyle CO(X)}
  
. We say 
  
    
      
        G
      
    
    {\displaystyle G}
  
 is a 
  
    
      
        (
        τ
        ,
        κ
        )
      
    
    {\displaystyle (\tau ,\kappa )}
  
-disjoint collection if 
  
    
      
        G
      
    
    {\displaystyle G}
  
 is the union of at most 
  
    
      
        τ
      
    
    {\displaystyle \tau }
  
 subcollections 
  
    
      
        
          G
          
            α
          
        
      
    
    {\displaystyle G_{\alpha }}
  
, where for each 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  
, 
  
    
      
        
          G
          
            α
          
        
      
    
    {\displaystyle G_{\alpha }}
  
 is a disjoint collection of cardinality at most 
  
    
      
        κ
      
    
    {\displaystyle \kappa }
  
 It was proven by Petr Simon that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a Boolean space with the generating set 
  
    
      
        G
      
    
    {\displaystyle G}
  
 of 
  
    
      
        C
        O
        (
        X
        )
      
    
    {\displaystyle CO(X)}
  
 being 
  
    
      
        (
        τ
        ,
        κ
        )
      
    
    {\displaystyle (\tau ,\kappa )}
  
-disjoint if and only if 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is homeomorphic to a closed subspace of 
  
    
      
        α
        
          κ
          
            τ
          
        
      
    
    {\displaystyle \alpha \kappa ^{\tau }}
  
. The Ramsey-like property for polyadic spaces as stated by Murray Bell for Boolean spaces is then as follows: every uncountable clopen collection contains an uncountable subcollection which is either linked or disjoint.
 We define the compactness number of a space 
  
    
      
        X
      
    
    {\displaystyle X}
  
, denoted by 
  
    
      
        cmpn
        
        X
      
    
    {\displaystyle \operatorname {cmpn} \,X}
  
, to be the least number 
  
    
      
        n
      
    
    {\displaystyle n}
  
 such that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 has an n-ary closed subbase. We can construct polyadic spaces with arbitrary compactness number. We will demonstrate this using two theorems proven by Murray Bell in 1985. Let 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 be a collection of sets and let 
  
    
      
        S
      
    
    {\displaystyle S}
  
 be a set. We denote the set 
  
    
      
        {
        ⋂
        
          
            F
          
        
        :
        
          
            F
          
        
        
           is a finite subset of 
        
        
          
            S
          
        
        }
      
    
    {\displaystyle \{\bigcap {\mathcal {F}}:{\mathcal {F}}{\text{ is a finite subset of }}{\mathcal {S}}\}}
  
 by 
  
    
      
        
          
            
              S
            
          
          
            
              
                
                  F
                
                ^
              
            
          
        
      
    
    {\displaystyle {\mathcal {S}}^{\widehat {\mathcal {F}}}}
  
; all subsets of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 of size 
  
    
      
        n
      
    
    {\displaystyle n}
  
 by 
  
    
      
        [
        S
        
          ]
          
            n
          
        
      
    
    {\displaystyle [S]^{n}}
  
; and all subsets of size at most 
  
    
      
        n
      
    
    {\displaystyle n}
  
 by 
  
    
      
        [
        S
        
          ]
          
            <=
            n
          
        
      
    
    {\displaystyle [S]^{<=n}}
  
. If 
  
    
      
        2
        ≤
        n
        <
        ω
      
    
    {\displaystyle 2\leq n<\omega }
  
 and 
  
    
      
        ⋂
        
          
            F
          
        
        ≠
        ∅
      
    
    {\displaystyle \bigcap {\mathcal {F}}\neq \emptyset }
  
 for all 
  
    
      
        
          
            F
          
        
        ∈
        [
        
          
            S
          
        
        
          ]
          
            n
          
        
      
    
    {\displaystyle {\mathcal {F}}\in [{\mathcal {S}}]^{n}}
  
, then we say that 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 is n-linked. If every n-linked subset of 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 has a non-empty intersection, then we say that 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 is n-ary. Note that if 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 is n-ary, then so is 
  
    
      
        
          
            
              S
            
          
          
            
              
                
                  F
                
                ^
              
            
          
        
      
    
    {\displaystyle {\mathcal {S}}^{\widehat {\mathcal {F}}}}
  
, and therefore every space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 with 
  
    
      
        cmpn
        
        X
        ≤
        n
      
    
    {\displaystyle \operatorname {cmpn} \,X\leq n}
  
 has a closed, n-ary subbase 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 with 
  
    
      
        
          
            S
          
        
        =
        
          
            
              S
            
          
          
            
              
                
                  F
                
                ^
              
            
          
        
      
    
    {\displaystyle {\mathcal {S}}={\mathcal {S}}^{\widehat {\mathcal {F}}}}
  
. Note that a collection 
  
    
      
        
          
            S
          
        
        =
        
          
            
              S
            
          
          
            
              
                
                  F
                
                ^
              
            
          
        
      
    
    {\displaystyle {\mathcal {S}}={\mathcal {S}}^{\widehat {\mathcal {F}}}}
  
 of closed subsets of a compact space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a closed subbase if and only if for every closed 
  
    
      
        K
      
    
    {\displaystyle K}
  
 in an open set 
  
    
      
        U
      
    
    {\displaystyle U}
  
, there exists a finite 
  
    
      
        
          
            F
          
        
      
    
    {\displaystyle {\mathcal {F}}}
  
 such that 
  
    
      
        
          
            F
          
        
        ⊂
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {F}}\subset {\mathcal {S}}}
  
 and 
  
    
      
        K
        ⊂
        ⋃
        
          
            F
          
        
        ⊂
        U
      
    
    {\displaystyle K\subset \bigcup {\mathcal {F}}\subset U}
  
.
 Let 
  
    
      
        S
      
    
    {\displaystyle S}
  
 be an infinite set and let 
  
    
      
        n
      
    
    {\displaystyle n}
  
 by a number such that 
  
    
      
        1
        ≤
        n
        <
        ω
      
    
    {\displaystyle 1\leq n<\omega }
  
. We define the product topology on 
  
    
      
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle [S]^{\leq n}}
  
 as follows: for 
  
    
      
        s
        ∈
        S
      
    
    {\displaystyle s\in S}
  
, let 
  
    
      
        
          s
          
            −
          
        
        =
        {
        F
        ∈
        [
        S
        
          ]
          
            ≤
            n
          
        
        :
        s
        ∈
        F
        }
      
    
    {\displaystyle s^{-}=\{F\in [S]^{\leq n}:s\in F\}}
  
, and let 
  
    
      
        
          s
          
            +
          
        
        =
        {
        F
        ∈
        [
        S
        
          ]
          
            ≤
            n
          
        
        :
        s
        ∉
        F
        }
      
    
    {\displaystyle s^{+}=\{F\in [S]^{\leq n}:s\notin F\}}
  
. Let 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 be the collection 
  
    
      
        
          
            S
          
        
        =
        
          ⋃
          
            s
            ∈
            S
          
        
        {
        
          s
          
            +
          
        
        ,
        
          s
          
            −
          
        
        }
      
    
    {\displaystyle {\mathcal {S}}=\bigcup _{s\in S}\{s^{+},s^{-}\}}
  
. We take 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 as a clopen subbase for our topology on 
  
    
      
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle [S]^{\leq n}}
  
. This topology is compact and Hausdorff. For 
  
    
      
        k
      
    
    {\displaystyle k}
  
 and 
  
    
      
        n
      
    
    {\displaystyle n}
  
 such that 
  
    
      
        0
        ≤
        k
        ≤
        n
      
    
    {\displaystyle 0\leq k\leq n}
  
, we have that 
  
    
      
        [
        S
        
          ]
          
            k
          
        
      
    
    {\displaystyle [S]^{k}}
  
 is a discrete subspace of 
  
    
      
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle [S]^{\leq n}}
  
, and hence that 
  
    
      
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle [S]^{\leq n}}
  
 is a union of 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
 discrete subspaces.
 Theorem (Upper bound on 
  
    
      
        cmpn
        
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle \operatorname {cmpn} \,[S]^{\leq n}}
  
): For each total order 
  
    
      
        <
      
    
    {\displaystyle <}
  
 on 
  
    
      
        S
      
    
    {\displaystyle S}
  
, there is an 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
-ary closed subbase 
  
    
      
        
          
            R
          
        
      
    
    {\displaystyle {\mathcal {R}}}
  
 of 
  
    
      
        [
        S
        
          ]
          
            ≤
            2
            n
          
        
      
    
    {\displaystyle [S]^{\leq 2n}}
  
.
 Proof: For 
  
    
      
        s
        ∈
        S
      
    
    {\displaystyle s\in S}
  
, define 
  
    
      
        
          L
          
            s
          
        
        =
        {
        F
        ∈
        
          s
          
            +
          
        
        :
        
          |
        
        {
        t
        ∈
        F
        :
        t
        <
        s
        }
        
          |
        
        ≤
        n
        −
        1
        }
      
    
    {\displaystyle L_{s}=\{F\in s^{+}:|\{t\in F:t<s\}|\leq n-1\}}
  
 and 
  
    
      
        
          R
          
            s
          
        
        =
        {
        F
        ∈
        
          s
          
            +
          
        
        :
        
          |
        
        {
        t
        ∈
        F
        :
        t
        >
        s
        }
        
          |
        
        ≤
        n
        −
        1
        }
      
    
    {\displaystyle R_{s}=\{F\in s^{+}:|\{t\in F:t>s\}|\leq n-1\}}
  
. Set 
  
    
      
        
          
            R
          
        
        =
        
          ⋃
          
            s
            ∈
            S
          
        
        {
        
          L
          
            s
          
        
        ,
        
          R
          
            s
          
        
        ,
        
          s
          
            +
          
        
        }
      
    
    {\displaystyle {\mathcal {R}}=\bigcup _{s\in S}\{L_{s},R_{s},s^{+}\}}
  
. For 
  
    
      
        A
      
    
    {\displaystyle A}
  
, 
  
    
      
        B
      
    
    {\displaystyle B}
  
 and 
  
    
      
        C
      
    
    {\displaystyle C}
  
 such that 
  
    
      
        A
        ∪
        B
        ∪
        C
        ≠
        ∅
      
    
    {\displaystyle A\cup B\cup C\neq \emptyset }
  
, let 
  
    
      
        
          
            F
          
        
        =
        {
        
          L
          
            s
          
        
        :
        s
        ∈
        A
        }
        ∪
        {
        
          R
          
            s
          
        
        :
        s
        ∈
        B
        }
        ∪
        {
        
          s
          
            −
          
        
        :
        s
        ∈
        C
        }
      
    
    {\displaystyle {\mathcal {F}}=\{L_{s}:s\in A\}\cup \{R_{s}:s\in B\}\cup \{s^{-}:s\in C\}}
  
 such that 
  
    
      
        
          
            F
          
        
      
    
    {\displaystyle {\mathcal {F}}}
  
 is an 
  
    
      
        n
        +
        1
      
    
    {\displaystyle n+1}
  
-linked subset of 
  
    
      
        
          
            R
          
        
      
    
    {\displaystyle {\mathcal {R}}}
  
. Show that 
  
    
      
        A
        ∪
        B
        ∈
        ⋂
        
          
            F
          
        
      
    
    {\displaystyle A\cup B\in \bigcap {\mathcal {F}}}
  
. 
  
    
      
        ◼
      
    
    {\displaystyle \blacksquare }
  

 For a topological space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and a subspace 
  
    
      
        A
        ∈
        X
      
    
    {\displaystyle A\in X}
  
, we say that a continuous function 
  
    
      
        r
        :
        X
        →
        A
      
    
    {\displaystyle r:X\rightarrow A}
  
 is a retraction if 
  
    
      
        r
        
          
            |
          
          
            A
          
        
      
    
    {\displaystyle r|_{A}}
  
 is the identity map on 
  
    
      
        A
      
    
    {\displaystyle A}
  
. We say that 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is a retract of 
  
    
      
        X
      
    
    {\displaystyle X}
  
. If there exists an open set 
  
    
      
        U
      
    
    {\displaystyle U}
  
 such that 
  
    
      
        A
        ⊂
        U
        ⊂
        X
      
    
    {\displaystyle A\subset U\subset X}
  
, and 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is a retract of 
  
    
      
        U
      
    
    {\displaystyle U}
  
, then we say that 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is a neighbourhood retract of 
  
    
      
        X
      
    
    {\displaystyle X}
  
.
 Theorem (Lower bound on 
  
    
      
        cmpn
        
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle \operatorname {cmpn} \,[S]^{\leq n}}
  
) Let 
  
    
      
        n
      
    
    {\displaystyle n}
  
 be such that 
  
    
      
        2
        ≤
        n
        <
        ω
      
    
    {\displaystyle 2\leq n<\omega }
  
. Then 
  
    
      
        [
        
          ω
          
            1
          
        
        
          ]
          
            ≤
            2
            n
            −
            1
          
        
      
    
    {\displaystyle [\omega _{1}]^{\leq 2n-1}}
  
 cannot be embedded as a neighbourhood retract in any space 
  
    
      
        K
      
    
    {\displaystyle K}
  
 with 
  
    
      
        cmpn
        
        K
        ≤
        n
      
    
    {\displaystyle \operatorname {cmpn} \,K\leq n}
  
.
 From the two theorems above, it can be deduced that for 
  
    
      
        n
      
    
    {\displaystyle n}
  
 such that 
  
    
      
        1
        ≤
        n
        <
        ω
      
    
    {\displaystyle 1\leq n<\omega }
  
, we have that 
  
    
      
        cmpn
        
        [
        
          ω
          
            1
          
        
        
          ]
          
            ≤
            2
            n
            −
            1
          
        
        =
        n
        +
        1
        =
        cmpn
        
        [
        
          ω
          
            1
          
        
        
          ]
          
            ≤
            2
            n
          
        
      
    
    {\displaystyle \operatorname {cmpn} \,[\omega _{1}]^{\leq 2n-1}=n+1=\operatorname {cmpn} \,[\omega _{1}]^{\leq 2n}}
  
.
 Let 
  
    
      
        A
      
    
    {\displaystyle A}
  
 be the Alexandroff one-point compactification of the discrete space 
  
    
      
        S
      
    
    {\displaystyle S}
  
, so that 
  
    
      
        A
        =
        S
        ∪
        {
        ∞
        }
      
    
    {\displaystyle A=S\cup \{\infty \}}
  
. We define the continuous surjection 
  
    
      
        g
        :
        
          A
          
            n
          
        
        →
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle g:A^{n}\rightarrow [S]^{\leq n}}
  
 by 
  
    
      
        g
        (
        (
        
          x
          
            1
          
        
        ,
        .
        .
        .
        ,
        
          x
          
            n
          
        
        )
        )
        =
        {
        
          x
          
            1
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        }
        ∩
        S
      
    
    {\displaystyle g((x_{1},...,x_{n}))=\{x_{1},\ldots ,x_{n}\}\cap S}
  
. It follows that 
  
    
      
        [
        S
        
          ]
          
            ≤
            n
          
        
      
    
    {\displaystyle [S]^{\leq n}}
  
 is a polyadic space. Hence 
  
    
      
        [
        
          ω
          
            1
          
        
        
          ]
          
            ≤
            2
            n
            −
            1
          
        
      
    
    {\displaystyle [\omega _{1}]^{\leq 2n-1}}
  
 is a polyadic space with compactness number 
  
    
      
        cmpn
        
        [
        
          ω
          
            1
          
        
        
          ]
          
            ≤
            2
            n
            −
            1
          
        
        =
        n
        +
        1
      
    
    {\displaystyle \operatorname {cmpn} \,[\omega _{1}]^{\leq 2n-1}=n+1}
  
.
 Centred spaces, AD-compact spaces and ξ-adic spaces are generalisations of polyadic spaces.
 Let 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 be a collection of sets. We say that 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 is centred if 
  
    
      
        ⋂
        
          
            F
          
        
        ≠
        ∅
      
    
    {\displaystyle \bigcap {\mathcal {F}}\neq \emptyset }
  
 for all finite subsets 
  
    
      
        
          
            F
          
        
        ⊆
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {F}}\subseteq {\mathcal {S}}}
  
. Define the Boolean space 
  
    
      
        C
        e
        n
        (
        
          
            S
          
        
        )
        =
        {
        
          χ
          
            T
          
        
        :
        T
        
           is a centred subcollection of 
        
        
          
            S
          
        
        }
      
    
    {\displaystyle Cen({\mathcal {S}})=\{\chi _{T}:T{\text{ is a centred subcollection of }}{\mathcal {S}}\}}
  
, with the subspace topology from 
  
    
      
        
          2
          
            
              S
            
          
        
      
    
    {\displaystyle 2^{\mathcal {S}}}
  
. We say that a space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a centred space if there exists a collection 
  
    
      
        
          
            S
          
        
      
    
    {\displaystyle {\mathcal {S}}}
  
 such that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a continuous image of 
  
    
      
        C
        e
        n
        (
        
          
            S
          
        
        )
      
    
    {\displaystyle Cen({\mathcal {S}})}
  
.
 Centred spaces were introduced by Murray Bell in 2004.
 Let 
  
    
      
        X
      
    
    {\displaystyle X}
  
 be a non-empty set, and consider a family of its subsets 
  
    
      
        
          
            A
          
        
        ⊆
        
          
            P
          
        
        (
        X
        )
      
    
    {\displaystyle {\mathcal {A}}\subseteq {\mathcal {P}}(X)}
  
. We say that 
  
    
      
        
          
            A
          
        
      
    
    {\displaystyle {\mathcal {A}}}
  
 is an adequate family if:
 We may treat 
  
    
      
        
          
            A
          
        
      
    
    {\displaystyle {\mathcal {A}}}
  
 as a topological space by considering it a subset of the Cantor cube 
  
    
      
        
          D
          
            X
          
        
      
    
    {\displaystyle D^{X}}
  
, and in this case, we denote it 
  
    
      
        K
        (
        
          
            A
          
        
        )
      
    
    {\displaystyle K({\mathcal {A}})}
  
.
 Let 
  
    
      
        K
      
    
    {\displaystyle K}
  
 be a compact space. If there exist a set 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and an adequate family 
  
    
      
        
          
            A
          
        
        ⊆
        
          
            P
          
        
        (
        X
        )
      
    
    {\displaystyle {\mathcal {A}}\subseteq {\mathcal {P}}(X)}
  
, such that 
  
    
      
        K
      
    
    {\displaystyle K}
  
 is the continuous image of 
  
    
      
        K
        (
        
          
            A
          
        
        )
      
    
    {\displaystyle K({\mathcal {A}})}
  
, then we say that 
  
    
      
        K
      
    
    {\displaystyle K}
  
 is an AD-compact space.
 AD-compact spaces were introduced by Grzegorz Plebanek. He proved that they are closed under arbitrary products and Alexandroff compactifications of disjoint unions. It follows that every polyadic space is hence an AD-compact space. The converse is not true, as there are AD-compact spaces that are not polyadic.
 Let 
  
    
      
        κ
      
    
    {\displaystyle \kappa }
  
 and 
  
    
      
        τ
      
    
    {\displaystyle \tau }
  
 be cardinals, and let 
  
    
      
        X
      
    
    {\displaystyle X}
  
 be a Hausdorff space. If there exists a continuous surjection from 
  
    
      
        (
        κ
        +
        1
        
          )
          
            τ
          
        
      
    
    {\displaystyle (\kappa +1)^{\tau }}
  
 to 
  
    
      
        X
      
    
    {\displaystyle X}
  
, then 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is said to be a ξ-adic space.
 ξ-adic spaces were proposed by S. Mrówka, and the following results about them were given by János Gerlits (they also apply to polyadic spaces, as they are a special case of ξ-adic spaces).
 Let 
  
    
      
        
          
            n
          
        
      
    
    {\displaystyle {\mathfrak {n}}}
  
 be an infinite cardinal, and let 
  
    
      
        X
      
    
    {\displaystyle X}
  
 be a topological space. We say that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 has the property 
  
    
      
        
          B
        
        (
        
          
            n
          
        
        )
      
    
    {\displaystyle \mathbf {B} ({\mathfrak {n}})}
  
 if for any family 
  
    
      
        {
        
          G
          
            α
          
        
        :
        α
        ∈
        A
        }
      
    
    {\displaystyle \{G_{\alpha }:\alpha \in A\}}
  
 of non-empty open subsets of 
  
    
      
        X
      
    
    {\displaystyle X}
  
, where 
  
    
      
        
          |
        
        A
        
          |
        
        =
        
          
            n
          
        
      
    
    {\displaystyle |A|={\mathfrak {n}}}
  
, we can find a set 
  
    
      
        B
        ⊂
        A
      
    
    {\displaystyle B\subset A}
  
 and a point 
  
    
      
        p
        ∈
        X
      
    
    {\displaystyle p\in X}
  
 such that 
  
    
      
        
          |
        
        B
        
          |
        
        =
        
          
            n
          
        
      
    
    {\displaystyle |B|={\mathfrak {n}}}
  
 and for each neighbourhood 
  
    
      
        N
      
    
    {\displaystyle N}
  
 of 
  
    
      
        p
      
    
    {\displaystyle p}
  
, we have that 
  
    
      
        
          |
        
        {
        β
        ∈
        B
        :
        N
        ∩
        
          G
          
            β
          
        
        =
        ∅
        }
        
          |
        
        <
        
          
            n
          
        
      
    
    {\displaystyle |\{\beta \in B:N\cap G_{\beta }=\emptyset \}|<{\mathfrak {n}}}
  
.
 If 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a ξ-adic space, then 
  
    
      
        X
      
    
    {\displaystyle X}
  
 has the property 
  
    
      
        
          B
        
        (
        
          
            n
          
        
        )
      
    
    {\displaystyle \mathbf {B} ({\mathfrak {n}})}
  
 for each infinite cardinal 
  
    
      
        
          
            n
          
        
      
    
    {\displaystyle {\mathfrak {n}}}
  
. It follows from this result that no infinite ξ-adic Hausdorff space can be an extremally disconnected space.
 Hyadic spaces were introduced by Eric van Douwen. They are defined as follows.
 Let 
  
    
      
        X
      
    
    {\displaystyle X}
  
 be a Hausdorff space. We denote by 
  
    
      
        H
        (
        X
        )
      
    
    {\displaystyle H(X)}
  
 the hyperspace of 
  
    
      
        X
      
    
    {\displaystyle X}
  
. We define the subspace 
  
    
      
        
          J
          
            2
          
        
        (
        X
        )
      
    
    {\displaystyle J_{2}(X)}
  
 of 
  
    
      
        H
        (
        X
        )
      
    
    {\displaystyle H(X)}
  
 by 
  
    
      
        {
        F
        ∈
        H
        (
        X
        )
        :
        
          |
        
        F
        
          |
        
        ≤
        2
        }
      
    
    {\displaystyle \{F\in H(X):|F|\leq 2\}}
  
. A base of 
  
    
      
        H
        (
        X
        )
      
    
    {\displaystyle H(X)}
  
 is the family of all sets of the form 
  
    
      
        ⟨
        
          U
          
            0
          
        
        ,
        …
        ,
        
          U
          
            n
          
        
        ⟩
        =
        {
        F
        ∈
        H
        (
        X
        )
        :
        F
        ⊆
        
          U
          
            0
          
        
        ∪
        ⋯
        ∪
        
          U
          
            n
          
        
        ,
        F
        ∩
        
          U
          
            i
          
        
        ≠
        ∅
        
           for 
        
        0
        ≤
        i
        ≤
        n
        }
      
    
    {\displaystyle \langle U_{0},\dots ,U_{n}\rangle =\{F\in H(X):F\subseteq U_{0}\cup \dots \cup U_{n},F\cap U_{i}\neq \emptyset {\text{ for }}0\leq i\leq n\}}
  
, where 
  
    
      
        n
      
    
    {\displaystyle n}
  
 is any integer, and 
  
    
      
        
          U
          
            i
          
        
      
    
    {\displaystyle U_{i}}
  
 are open in 
  
    
      
        X
      
    
    {\displaystyle X}
  
. If 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is compact, then we say a Hausdorff space 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 is hyadic if there exists a continuous surjection from 
  
    
      
        H
        (
        X
        )
      
    
    {\displaystyle H(X)}
  
 to 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
.
 Polyadic spaces are hyadic.