已知函数$f(x)=\begin{cases}(2-[x])\cdot |x-1|,& x\in[0,2),\\1,&x=2,\end{cases}$其中$[x]$表示不超过$x$的最大整数.设$n\in\mathbb N^*$,$f_1(x)=f(x)$,$f_{n+1}(x)=f(f_n(x))$,有以下说法:
(1) 函数$y=\sqrt{x-f(x)}$的定义域为$\left[\dfrac 23,2\right]$;
(2) 设集合$A=\{0,1,2\}$,$B=\{x \mid f_3(x)=x,x\in A\}$,则$A=B$;
(3) $f_{2016}\left(\dfrac 89\right)+f_{2017}\left(\dfrac 89\right)=\dfrac{13}9$;
(4) 若集合$M=\{x \mid f_{12}(x)=x,x\in [0,2]\}$,则$M$中至少包含$8$个元素.
指出上述说法中哪些是正确的,并说明理由.