サスリン表現

数学において、実数集合（より正確には、ベール空間の元）のスースリン表現とは、その実数集合への射影が木である。より一般的には、 κ ^ωの部分集合Aがλ -スースリン表現であるとは、 κ × λ上に木T が存在し、A = p[ T ]となることを言う。

κ × λ上の木とは、初期線分の下で閉じた部分集合T ⊆ ⋃ _{n <ω} ( κ ⁿ × λ ⁿ ) を意味し、 p[ T ] = { f ∈ κ ^ω | ∃ g ∈ λ ^ω : ( f , g ) ∈ [ T ] } はTの射影であり、ここで [ T ] = { ( f , g )∈ κ ^ω × λ ^ω | ڼ n < ω : ( f | n , g | n ) ∈ T } はTを通る枝の集合である。

[ T ] はκ ^ω × λ ^ω上の積位相の閉集合であり、κとλは離散位相を備えている（そして κ ^ω × λ ^{ω内のすべての閉集合はこのように}κ × λ上のある木から生じる）ので、κ ^ωのλ -サスリン部分集合はκ ^ω × λ ^ωの閉部分集合の射影である。