AveVal(SET OF INTEGER s) := AVE(s);

//example usage

SetVals := [14,9,16,20,91];
AveVal(SetVals) //returns 30.0 ;