用于尾矿库的尾矿坝体排渗的排渗井不属于尾矿设施。