Definicija
-algebre te izmjerljivog prostora i izmjerljivog skupa[uredi]
Neka je
-prsten na skupu
. Ako
, tada
je "
-algebra na
",
je "izmjerljiv prostor", a svaki
"izmjerljiv skup".
Nužni i dovoljni uvjeti za
-algebre[uredi]
Neka je
skup, a
familija podskupova od
.
je
-algebra na
, ako
&
&
.
Definicija familija poluotvorenih pravokutnika[uredi]
Definiramo sljedeće familije:
je "familija poluotvorenih intervala u
" &
je "familija poluotvorenih pravokutnika u
",
.