Basin of attraction

$B_A:=\{b\in \Omega :U_{t}a\in A\forall t\in {\mathbb{R}}_{\ge T_b}\exists T_b\in {\mathbb{R}}^{+}\}$. See Attractor for details.

• Fix the definition of Basin of attraction