Properties of the poset of Dyck paths ordered by inclusion - Jennifer Woodcock (2010)