for f being real-valued FinSequence holds HetSet f c= dom f