Urejeni par: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m Head - robot Adding:et |
Brez povzetka urejanja |
||
Vrstica 1:
'''Urejen par''' je dvojica
* iz poljubnih objektov ''x'' in ''y'' lahko tvorimo urejen par (''x'', ''y''),
* vsak urejen par ''u'' ima ''prvo komponento'' π<sub>1</sub> u in ''drugo komponento'' π<sub>2</sub> u. Veljajo naslednje enačbe:
::π<sub>1</sub> (''x'', ''y'') = ''x''
::π<sub>2</sub> (''x'', ''y'') = ''y'',
::''u'' = (π<sub>1</sub> ''u'', π<sub>2</sub> ''u'').
[[Kartezični produkt]] [[množica|množic]] ''A'' in ''B'' je množica ''A'' × ''B'', ki vsebuje vse urejene pare (''a'', ''b''), kjer je ''a'' element ''A'' in ''b'' element ''B''.
|