construction,qualifier_hr
directed colimit,of any preorder
directed limit,of any preorder