b'\n_START_ARTICLE_\nRelacja pe\xc5\x82na\n_START_PARAGRAPH_\nRelacja pe\xc5\x82na (ca\xc5\x82kowita, totalna) \xe2\x80\x93 relacja obejmuj\xc4\x85ca wszystkie elementy zbioru, na kt\xc3\xb3rym jest rozpatrywana. Relacja binarna na zbiorze  jest relacj\xc4\x85 pe\xc5\x82n\xc4\x85, je\xc5\x9bli ka\xc5\xbcde dwa (niekoniecznie r\xc3\xb3\xc5\xbcne) elementy zbioru  s\xc4\x85 w tej relacji._NEWLINE_Nale\xc5\xbcy zauwa\xc5\xbcy\xc4\x87, \xc5\xbce nazewnictwo dla relacji tego typu nie jest powszechnie ustalone, poniewa\xc5\xbc relacje te s\xc4\x85 w zasadzie nieciekawe dla matematyk\xc3\xb3w. Okre\xc5\x9blenie relacja totalna jest u\xc5\xbcywane bardzo rzadko, poniewa\xc5\xbc mo\xc5\xbce ono by\xc4\x87 mylone z angielsk\xc4\x85 nazw\xc4\x85 total relation dla relacji sp\xc3\xb3jnej.\n_START_SECTION_\nDefinicja\n_START_PARAGRAPH_\nNiech  b\xc4\x99d\xc4\x85 dowolnymi zbiorami oraz  Relacj\xc4\x99 n-argumentow\xc4\x85  nazywa si\xc4\x99 pe\xc5\x82n\xc4\x85, je\xc5\xbceli _NEWLINE_Oznacza to, \xc5\xbce dla ka\xc5\xbcdych  element\xc3\xb3w  zachodzi  czyli s\xc4\x85 one ze sob\xc4\x85 w relacji'