«Baliokidetasun-erlazio»: berrikuspenen arteko aldeak

informazioa gehitu
t (Autoritate kontrola jartzea)
(informazioa gehitu)
 
Baliokidetasun-erlazio batek sortzen dituen klase kopuruari '''ordena''' deritzo; kopurua finitua bada ordena finituko erlazioa izanik.
 
== Partiketa ==
X-ren partiketa bat X-ren azpimultzo ez-hutsen P multzo bat da; beraz, X-ren elementu bakoitza P-ren elementu bakar baten elementua da. Gainera, P-ren elementuak binaka [[Multzo disjuntu|disjuntoak]] dira, eta haien [[Bilketa (multzo-teoria)|lotura]] X da.
 
== Adibideak ==
15

edits