Integral según Riemann para funciones no- estandar

Sea F* un ultrafiltro regular en ℕ, en   ℝ ^ℕ     se establece una relación de equivalencia    ~      así :

(a_n )_n  ~  (b _n) _{n      si  {   n ϵ} ℕ /a_{n    =b n  } ϵ}  F*