Krata (matematyka): Różnice pomiędzy wersjami

Dla każdego zbioru <math>X,</math> [[zbiór potęgowy]] <math>P(X)</math> (uporządkowany przez inkluzję <math>\subseteq</math>) jest kratą rozdzielną. Podkrata kraty rozdzielnej jest zawsze sama rozdzielna, więc każda podkrata zbioru potęgowego jest też kratą rozdzielną.

 

<blockquote style="padding: 1em; border: 2px dotted purple;">

: Każda krata rozdzielna jest izomorficzna z pewną podkratą kraty <math>P(X)</math> (dla pewnego zbioru <math>X</math>).