ω1ススリン木からススリン線を構成する証明で、CCCの証明がマジでわからん

具体的には、「ある集合Dが反鎖だから|D|≦ω」という議論のDが反鎖である証明がわからん

分かる人教えてくれ。