Definition:Set Ordered by Inclusion