theorem Th19: :: TREES_2:19

for W being Tree holds {} is Chain of W