For a special issue of Foundations of Physics This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The com-panion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduc...