Гаряка Асмик:В самом широком смысле это должно быть множеством (семейством) всех подмножеств. Но обычно, если я правильно помню, под
SB подразумевается [$963$]-кольцо (не исключено, что S, как мне кажется, как раз и происходит от латинского Sigma или от английского
множества - Sets), иногда обозначаемое как
B-кольцо (не путать с борелевским B-множеством). Хотя, в принципе,
SB может браться более широко и обозначать [$963$]-алгебру, хотя это не меняет сути.
В русскоязычной Википедии как-то невнятно написана, но в
английской про [$963$]-кольцо написано более чётко.
P.S.: Кстати, как Вам кажется - моё доказательство правдоподобно?