Category:Continuity of Composite with Inclusion