for D being non empty set
for F being PartFunc of D,REAL holds FinS (F,{}) = <*> REAL