[06X]Prerequisites:[06P]βΊβ».Let (X,β€) be a directed set, and YβX cofinal: show that (Y,β€|Y) is a directed set.
Similarly, if (X,β€) is filtering, show that (Y,β€|Y) it is filtering.