Defined ordered vector and monotone functions on Fin.