for W being Tree holds {} is Chain of W