mathematical subfield that studies dynamical systems defined by iteration of number-field-valued functions