Definition:Strict Down-Set