for X being non empty directed Subset of VarPoset holds ex_sup_of X, VarPoset by Th112;
hence VarPoset is up-complete by WAYBEL_0:75; :: thesis: verum