Intensional definition

Summary