 \in \mathcal{D}_{m+1}(U)$ as the current $\p T(\omega):= T(d \omega)$. The **support** $supp \: T $ of a current $T$ is the complement of the union of all open sets $W$ such that $T (\omega) = 0$ for $\omega \in \mathcal{D}^n(U)$ with $supp \; \omega \subset W$. For any open $W \subset U$ and $T  \in \mathcal{D}_{m}(U)$ we write $T \llcorner W$ for the current in $\mathcal{D}_{m}(W)$ we get from **restricting** $T$ to $\mathcal{D}_m(W)$. For any compactly supported current $T  \in \mathcal{D}_{m}(U)$ we define its **push-forward** $f_\sharp T$ by $f_\sharp T(\omega):= T(f^*\omega)$, where $f^*\omega$ denotes the usual pull-back of the $m$-form $\omega$.\
We let ${\bf{M}}_U (T) := \sup_{|\omega| \le 1, \mbox{{\tiny{supp}}} \omega \subset U}T(\omega)$ be the **mass** of the current $T$. To define the **flat (pseudo-)metric** on $\mathcal{D}_{m}(U)$ we consider open subsets $W \subset \overline{W} \subset U\subset \mathbb{R}^n$. Then $$\label{fll}
\db_W(C_1,C_2):=\mbox{inf}\{{\bf{M}}_W (S)+{\bf{M}}_W (R)\, |\, C_1 - C_2 = S + \p R, S \in \mathcal{D}_m(U), R \in \mathcal{D}_{m+1}(U)) \}.$$ The family of these (pseudo-)metrics $\db_W$ generate the **flat norm topology** on $\mathcal{D}_m(U)$.\
Finally, we define some important subclasses of currents. We call a current $T \in \mathcal{D}_m(U)$ **integer multiplicity rectifiable** or **rectifiable** for short, if for any $\ve >0$ and any compact set $K \subset U$ there exists a compactly supported $m$-
\in \mathcal{D}_{m+1}(U)$ as the current $ \p T(\omega):= T(d \omega)$. The * * support * * $ supp \: T $ of a current $ T$ is the complement of the union of all open set $ W$ such that $ metric ton (\omega) = 0 $ for $ \omega \in \mathcal{D}^n(U)$ with $ supp \; \omega \subset W$. For any open $ W \subset U$ and $ T   \in \mathcal{D}_{m}(U)$ we compose $ T \llcorner W$ for the current in $ \mathcal{D}_{m}(W)$ we get down from * * restricting * * $ T$ to $ \mathcal{D}_m(W)$. For any compactly support current $ T   \in \mathcal{D}_{m}(U)$ we define its * * push button - forward * * $ f_\sharp T$ by $ f_\sharp T(\omega):= T(f^*\omega)$, where $ f^*\omega$ denotes the usual puff - binding of the $ m$-form $ \omega$.\ 
 We let $ { \bf{M}}_U (T): = \sup_{|\omega| \le 1, \mbox{{\tiny{supp } } } \omega \subset U}T(\omega)$ be the * * mass * * of the current $ T$. To define the * * flat (pseudo-)metric * * on $ \mathcal{D}_{m}(U)$ we consider exposed subsets $ W \subset \overline{W } \subset U\subset \mathbb{R}^n$. Then $ $ \label{fll } 
 \db_W(C_1,C_2):=\mbox{inf}\{{\bf{M}}_W (S)+{\bf{M}}_W (R)\, |\, C_1 - C_2 = S + \p R, S \in \mathcal{D}_m(U), R \in \mathcal{D}_{m+1}(U) ) \}.$$ The family of these (pseudo-)metrics $ \db_W$ beget the * * flat norm topology * * on $ \mathcal{D}_m(U)$.\ 
 Finally, we specify some important subclasses of currents. We call a current $ T \in \mathcal{D}_m(U)$ * * integer multiplicity rectifiable * * or * * rectifiable * * for light, if for any $ \ve > 0 $ and any compact set $ K \subset U$ there exists a compactly supported $ m$-
 \in \mathcal{D}_{m+1}(U)$ as the currekt $\p T(\omega):= T(d \omega)$. Thx **suppodt** $supp \: T $ of a current $T$ is the colpoemenu of the union of aul open svts $W$ sucy thet $T (\omega) = 0$ for $\omega \ik \matggal{D}^n(B)$ xith $supp \; \omegs \subset W$. For any open $F \ruyset U$ and $T  \in \mathcal{D}_{m}(U)$ we write $T \llcotnfr W$ for the correnu ig $\mafhcal{D}_{m}(W)$ we get from **restricting** $T$ to $\matical{D}_m(W)$. For any compactly supported currejt $T  \in \mathcal{D}_{m}(U)$ we define its **pusr-dorward** $f_\shafp T$ by $f_\sharp T(\omega):= J(f^*\omega)$, where $f^*\omega$ denotes the usuak pull-back od tjg $m$-form $\omege$.\
We len ${\bf{M}}_U (T) := \sup_{|\omega| \le 1, \mbox{{\tony{supp}}} \omega \xubvet U}T(\omega)$ be the **mass** mf the current $T$. Tj define dhz **flat (pseudo-)metric** ob $\nathcdl{D}_{m}(G)$ we xonridtr ppsn subdeta $W \subset \overline{W} \wubset U\subset \mathnb{W}^b$. Then $$\label{fml}
\db_W(C_1,S_2):=\mfox{inf}\{{\bf{M}}_W (S)+{\bf{M}}_W (R)\, |\, C_1 - C_2 = S + \p R, S \in \mdthdal{D}_m(U), R \in \mathcal{D}_{m+1}(U)) \}.$$ The family of these (kseudo-)metrycs $\db_W$ generate the **flat norm topology** on $\mathcan{D}_m(U)$.\
Fmnxllv, we dddije some important subclasses of currents. We cwml a current $T \in \iathcal{D}_m(U)$ **onhebgr multipliciti rectiyjagle** or **rectifiable** for shjrt, id for any $\ve >0$ and any compact set $K \subswt U$ there eqistw a compactly supplrted $m$-
\in \mathcal{D}_{m+1}(U)$ as the current $\p T(\omega):= The $supp \: $ of a of union of all sets $W$ such $T (\omega) = 0$ for $\omega \mathcal{D}^n(U)$ with $supp \; \omega \subset W$. For any open $W \subset U$ $T \in \mathcal{D}_{m}(U)$ we write $T \llcorner W$ for the current in $\mathcal{D}_{m}(W)$ get **restricting** to For any compactly supported current $T \in \mathcal{D}_{m}(U)$ we define its **push-forward** $f_\sharp T$ by $f_\sharp T(f^*\omega)$, where $f^*\omega$ denotes the usual pull-back of $m$-form $\omega$.\ We let (T) := \sup_{|\omega| \le 1, \omega U}T(\omega)$ be **mass** the $T$. To define **flat (pseudo-)metric** on $\mathcal{D}_{m}(U)$ we consider open subsets $W \subset \overline{W} \subset U\subset \mathbb{R}^n$. Then $$\label{fll} \db_W(C_1,C_2):=\mbox{inf}\{{\bf{M}}_W (R)\, |\, C_2 = + R, \in \mathcal{D}_m(U), R \}.$$ The family of these (pseudo-)metrics **flat norm topology** on $\mathcal{D}_m(U)$.\ Finally, we define important subclasses currents. We call a current $T \mathcal{D}_m(U)$ **integer multiplicity rectifiable** or **rectifiable** for short, for any $\ve >0$ and any compact set $K \subset U$ there exists a compactly
 \in \mathcal{D}_{m+1}(U)$ as the current $\p t(\omega):= T(d \omEga)$. ThE **suPpoRt** $Supp \: t $ of a Current $T$ is the cOMpleMent of the union of all opeN sets $w$ sUCh thAT $T (\Omega) = 0$ For $\omegA \In \MAThcAl{d}^n(u)$ wiTh $SUpP \; \omegA \suBset W$. FoR any open $W \sUbsEt u$ and $T  \in \mathcAL{D}_{M}(U)$ we write $T \LlcOrner W$ for the CurRent in $\MaThcAL{D}_{m}(W)$ wE geT from **RestriCTing** $T$ tO $\mathcal{D}_M(W)$. fOr any cOMpactly SUPpOrteD current $T  \in \mathcaL{d}_{m}(u)$ We define its **pusH-forwaRd** $F_\ShARP T$ bY $f_\sHarp T(\omega):= t(f^*\Omega)$, WHere $f^*\omEGa$ DENOteS The usual pull-bAck of the $m$-foRM $\omEga$.\
We lEt ${\Bf{M}}_u (t) := \sup_{|\omEga| \le 1, \MbOX{{\tiNy{supp}}} \omega \SubsEt U}T(\omega)$ Be the **mASs** of the CUrrent $T$. to defiNe tHe **fLat (pSEuDo-)MetRiC** On $\mAThCal{d}_{M}(U)$ wE consideR oPeN subsEts $W \SUBSEt \ovErlIne{W} \SubseT U\subset \mathbB{R}^n$. then $$\LAbeL{fll}
\dB_W(C_1,C_2):=\mBox{iNf}\{{\Bf{M}}_W (S)+{\Bf{M}}_W (R)\, |\, C_1 - c_2 = S + \p R, S \In \Mathcal{D}_m(U), R \in \maThcaL{D}_{m+1}(U)) \}.$$ The faMilY oF thEsE (pseuDO-)metriCs $\dB_W$ gEnerate The **flat NOrm ToPOLOgY** on $\mathcal{D}_m(U)$.\
FinalLy, WE DeFine some ImportANt SuBClasses oF cUrrEnts. wE Call a CurrENt $t \in \mathcAl{D}_m(U)$ **iNTeGeR multipLiCity reCtIfiAblE** or **reCTifiAble** foR short, if For anY $\Ve >0$ and any compacT Set $K \subset U$ thERe EXIsTS a coMpaCtly supportEd $m$-
 \in \mathcal{D}_{m+1}(U)$  as the cu rrent  $\ p T (\ omeg a):=  T(d \omega)$. The**support** $supp \: T  $ of  a curr e nt  $T$is thec om p l eme nt  o f t he un ion o f a ll open  sets $W$suc hthat $T (\om e ga ) = 0$ for  $\ omega \in \m ath cal{D} ^n (U) $  with  $s upp \ ; \ome g a \sub set W$. F or any op e n $W \s u b se t U$  and $T  \in \mat h ca l {D}_{m}(U)$ we  write  $ T  \ l l cor ner  W$ for th ecurre n t in $\ m at h c a l{D } _{m}(W)$ we g et from **r e str icting **  $T $  to $\ mathc al { D}_ m(W)$. Foranycompactly  suppo r ted cur r ent $T \in \ mat hca l{D} _ {m }( U)$  w e  de f in e i t s * *push-fo rw ar d** $ f_\s h a r p  T$by$f_\ sharp  T(\omega):=T(f ^*\o m ega )$, w here$f^* \o mega$  denot es th eusual pull-back  ofthe $m$-f orm  $ \om eg a$.\W e let${\ bf{ M}}_U ( T) := \ s up_ {| \ o m eg a| \le 1, \mbox{{\ ti n y {s upp}}} \ omega\ su bs e t U}T(\o me ga) $ be t he ** mass * *of the c urrent $T $.  To def in e the** fla t ( pseud o -)me tric**  on $\ma thcal { D}_{m}(U)$ wec onsider opens ub s e ts $W \ sub set \overli ne{W }  \su bset U\ sub s et \m athbb {R } ^n $ . Then $$\label{fll }\db_W( C_1,C _2):=\mbox{in f}\{{\bf{M } } _ W (S)+{\ bf{M } }_ W  (R)\, |\, C_1  - C_ 2 = S + \p R, S \in  \mat hcal{D}_ m(U), R \ i n  \mathca l{D }_{ m+1 }(U ) )  \ }.$$ The fami l y  ofth ese (ps eud o-)metr ics  $\ db_ W$ge nerate th e **flat  n or mto pol ogy** on $\mat hc al{ D} _m( U)$.\ Finall y, we  def in es ome  import a nt s ubcl as se s of  cu rr ents.  Wec all  a curr ent $T \i n \ m athc al {D }_m(U)$  **integer mu lt iplicity r ec tif iable* * or **rec tifiable** for short, i f  for an y $ \ve > 0$ a nd any co mpa ct set  $K \subse t U$ t hereex ist s a com p a ct lysu pported $m $ - 
 \in_\mathcal{D}_{m+1}(U)$ as_the current $\p T(\omega):=_T(d \omega)$._The_**support** $supp_\:_T $ of_a current $T$_is the complement of_the union of_all_open sets $W$ such that $T (\omega) = 0$ for $\omega \in \mathcal{D}^n(U)$ with_$supp_\; \omega_\subset_W$._For any open $W \subset_U$ and $T  \in_\mathcal{D}_{m}(U)$ we_write $T \llcorner W$ for the current in_$\mathcal{D}_{m}(W)$_we get from_**restricting** $T$ to $\mathcal{D}_m(W)$. For any compactly supported current_$T  \in \mathcal{D}_{m}(U)$ we define_its **push-forward** $f_\sharp_T$_by_$f_\sharp T(\omega):= T(f^*\omega)$, where_$f^*\omega$ denotes the usual pull-back of_the $m$-form $\omega$.\
We let ${\bf{M}}_U (T)_:= \sup_{|\omega| \le 1, \mbox{{\tiny{supp}}} \omega \subset_U}T(\omega)$ be the **mass** of the_current $T$. To define the_**flat (pseudo-)metric**_on $\mathcal{D}_{m}(U)$ we consider open_subsets $W \subset_\overline{W} \subset_U\subset \mathbb{R}^n$. Then_$$\label{fll}
\db_W(C_1,C_2):=\mbox{inf}\{{\bf{M}}_W (S)+{\bf{M}}_W (R)\, |\, C_1 -_C_2 = S_+ \p R, S \in \mathcal{D}_m(U),_R_\in \mathcal{D}_{m+1}(U)) \}.$$_The_family_of these_(pseudo-)metrics $\db_W$ generate_the_**flat norm_topology**_on $\mathcal{D}_m(U)$.\
Finally, we define some important_subclasses_of currents. We call a current $T_\in \mathcal{D}_m(U)$ **integer multiplicity_rectifiable**_or **rectifiable** for short,_if for any $\ve >0$_and any compact set $K \subset_U$ there_exists a_compactly supported $m$-