Id est es una expresión latina que significa literalmente "esto es", cuya abreviatura i.e., es muy usada en definiciones matemáticas y demostraciones, de teoremas, lemas o corolarios.