:: deftheorem defines Sigma WAYBEL29:def 2 :
for S, T being non empty up-complete Poset
for f being Function of S,T holds Sigma f = f;