Something which is already known independently, or something which is to be used in the course of a proof. For example the epsilon‐delta method of proof usually states ‘Given ε‎>0, there exists a δ‎’, by which is meant ‘For any ε‎ you choose, no matter how small, I can find a value of δ‎ for which…’.