for X being set holds
( X is constituted-Trees iff X c= Trees )