:: deftheorem defines Components OSALG_4:def 5 :
for R being non empty Poset holds Components R = Class (Path_Rel R);