ให้ S {\displaystyle S} เป็นชั้นที่จำกัดความโดยฟังก์ชันบ่งชี้

b : X → { 0 , 1 } {\displaystyle b:X\to \{0,1\}}

แล้ว S {\displaystyle S} จะเป็นเซตโทนก็ต่อเมื่อมี y บางตัวที่ y ∈ X แล้วสำหรับ x ใด ๆ x ∈ X,

b ( x ) = ( x = y ) {\displaystyle b(x)=(x=y)}