Set-membership functional diagnosability: Definitions and analysis