ในโทโพโลยีทั่วไปเซตFσ (อ่านว่าเซตF-ซิกมา ) คือการรวมกันแบบนับได้ ของเซตปิดสัญลักษณ์นี้มีต้นกำเนิดมาจากภาษาฝรั่งเศสโดย F มาจากfermé ( _ภาษาฝรั่งเศส : ปิด) และ σ มาจากsomme ( ภาษาฝรั่งเศส : ผลรวม, การรวมกัน) ^{[ 1 ]}

ส่วนเติมเต็ม ของ ^เซต F _σคือเซตG _δ ^{[ 1} ]

F _σเหมือนกับในลำดับชั้นของโบเรล ${\displaystyle \mathbf {\Sigma } _{2}^{0}}$

แต่ละเซตปิดเป็นเซต F _σ

เซตของจำนวนตรรกยะเป็นเซต F _σใน ปริภูมิ T 1 โดยทั่วไปแล้ว เซตที่นับได้ใดๆ ในปริภูมิ T ₁ก็เป็นเซต F _σเช่นกัน เพราะเซตที่มีสมาชิกเดียวทุกเซตเป็นเซตปิด ${\displaystyle \mathbb {Q} }$${\displaystyle \mathbb {R} }$${\displaystyle \{x\}}$

เซตของจำนวนอตรรกยะไม่ใช่เซต F _σ${\displaystyle \mathbb {R} \setminus \mathbb {Q} }$

ในปริภูมิเมตริก ซ์ เซตเปิดทุก เซตเป็น เซตF _σ ^{[ 2 ]}

จุดตัดหรือการรวมกันของเซต F _σ จำนวนจำกัด เรียกว่า เซต F _σ

โดยถือว่าสัจพจน์ของการเลือกที่นับได้นั้น การรวมกันของ เซต F _σจำนวนนับได้ จะเป็น เซต F _{σ เช่นกัน}

เซต ของ จุดทั้งหมดในระนาบพิกัดคาร์ทีเซียนซึ่ง มีค่า เป็นจำนวนตรรกยะเป็นเซต Fσ _{เพราะ}สามารถแสดงได้ในรูปของการรวมกันของเส้นตรง ทั้งหมด ที่ผ่านจุดกำเนิดและมีค่าความชัน เป็นจำนวนตรรกยะ : ${\displaystyle A}$${\displaystyle (x,y)}$${\displaystyle x/y}$

${\displaystyle A=\bigcup _{r\in \mathbb {Q} }\{(ry,y)\mid y\in \mathbb {R} \},}$

โดยที่คือเซตของจำนวนตรรกยะ ซึ่งเป็นเซตที่นับได้ ${\displaystyle \mathbb {Q} }$

• ชุดG _δ — แนวคิดคู่ขนาน
• ลำดับชั้นของโบเรล
• ปริภูมิPคือปริภูมิใดๆ ที่มีคุณสมบัติว่าเซต F _σ ทุก เซตเป็นเซตปิด