subanalytic