The Dilworth theorem for finite posets implies that a finite poset contains either a "large" chain or a "large" antichain. I am sure I saw an infinite version of this :
An infinite poset has either an infinite chain or an infinite antichain.
But I can't find a reference to that statement. What is the reference or a proof?