1: \begin{definition}{\rm 

2: Let $\Omega$ be an $\mathcal F$-open set in $\mathbb C^n$ and let  $QB(\Omega)$ be the trace of $QB(\mathbb C^n)$ on $\Omega$, where $QB(\mathbb C^n)$  denotes   the   $\sigma$-algebra  on $\mathbb C^n$ generated by the Borel sets and the pluripolar subsets of  $\mathbb C^n$.

3: Assume that 

4: $u_1, \ldots , u_n \in \mathcal F\text{-} PSH(\Omega)$ are  finite. 

5: Using the quasi-Lindel\"of property of the plurifine topology and Theorem 2.17 in \cite{KW14}, there exist a pluripolar set $E\subset \Omega$, a sequence of $\mathcal F$-open subsets  $\{O_k\}$   and   plurisubharmonic functions  $f_{j,k}, g_{j,k}$ defined in Euclidean neighborhoods of $\overline O_k$  such that    $\Omega=E \cup \bigcup_{k=1}^\infty O_k $ and   $u_j=f_{j,k} -g_{j,k}$ on $O_k$. We define $O_0:= \emptyset$ and   

6: \begin{equation}\label{eqqqqqqqq}

7: \int_A dd^c u_1 \wedge \ldots \wedge dd^c u_n  

8: := \sum_{k=1}^\infty \int_{A\cap ( O_k \backslash \bigcup_{j=0}^{k-1} O_j ) } dd^c ( f_{1,k} -g_{1,k}) \wedge \ldots  \wedge dd^c ( f_{n,k} -g_{n,k}), \  

9: A\in QB(\Omega). 

10: \end{equation} 

11:  Theorem 3.6 in \cite{KW14} implies that  the measure  defined by \eqref{eqqqqqqqq} is  independent on $E$,   $\{O_k\}$, $\{f_{j,k}\}$ and $\{g_{j,k}\}$.

12: This measure  is called the complex  Monge-Amp\`ere  measure. 

13: }\end{definition}

14: