for W being Tree
for C being Chain of W ex B being Branch of W st C c= B