Cofinal subset

Summary