Dado um conjunto , o conjunto  das partes de  munido das operações , , , e onde  e , é uma álgebra booliana.
dˈadw ũŋ kˌuŋʒˈũŋtʊ , ʊ kˌuŋʒˈũŋtʊ dɐʃ pˈaɾətɨʒ dɨ mˌunˈidʊ dɐz ˌɔpɨɾɐsˈõjʃ , , , i ˈoŋdɨ ˈɛ , ɛ ˌumɐ ˈaʊʒɨbɹɐ bˌuuliˈɐ̃nɐ.