InclPoset (Filt L) is CLSubFrame of BoolePoset the carrier of L by Th6;
hence InclPoset (Filt L) is continuous by WAYBEL_5:28; :: thesis: verum