Intensional_definition