[ neshoggi @ 11.10.2006. 23:01 ] @
za skupove A i B vazi relacija poretka

cardA<=cardB

treba mi dokaz antitranzitivnosti za ovu relaciju. mislim da se teorema zove kantor-benstajnova ili kantor-bendiksova

moze li mi ko pomoci?
[ uranium @ 12.10.2006. 10:09 ] @
Citat:
neshoggi

...treba mi dokaz antitranzitivnosti za ovu relaciju.


Verovatno si hteo reći: antisimetričnosti.

Dokaz: Cantor-Schröder-Bernstein