系 (数学)
数学において、ある主張（典型的には定理）の系（けい、）とは、その（既知の）主張から「直ちに」証明される主張をいう。