b'\n_START_ARTICLE_\nZasada abstrakcji\n_START_PARAGRAPH_\nZasada abstrakcji \xe2\x80\x93 twierdzenie matematyczne m\xc3\xb3wi\xc4\x85ce, \xc5\xbce dowolnemu rozbiciu zbioru odpowiada pewna relacja r\xc3\xb3wnowa\xc5\xbcno\xc5\x9bci, a ka\xc5\xbcda relacja r\xc3\xb3wnowa\xc5\xbcno\xc5\x9bci ustanawia pewne rozbicie zbioru.\n_START_SECTION_\nDow\xc3\xb3d\n_START_PARAGRAPH_\nPoniewa\xc5\xbc  wi\xc4\x99c ka\xc5\xbcdy element zbioru  nale\xc5\xbcy do pewnego zbioru rodziny  i \xc5\xbcaden z tych zbior\xc3\xb3w nie jest pusty. Je\xc5\x9bli  to istnieje  sk\xc4\x85d  Zatem  czyli .\n_START_SECTION_\nDow\xc3\xb3d\n_START_PARAGRAPH_\nJe\xc5\x9bli  to poniewa\xc5\xbc  to dla pewnego   a st\xc4\x85d wynika, \xc5\xbce _NEWLINE_Je\xc5\x9bli  to  Wynika to z oczywistej implikacji: _NEWLINE_Niech  Istniej\xc4\x85  dla kt\xc3\xb3rych  Jednak w tym wypadku  poniewa\xc5\xbc  sk\xc4\x85d  a wi\xc4\x99c .'