Intensional definition