Perteneciente o relativo a la idea. Que constituye una idea, un modelo, ejemplar o prototipo perfecto, que es excelente en su línea o excelente en su clase, que se acopla perfectamente a una forma o arquetipo, que sirve de norma en cualquier dominio. En psicología, que no tiene existencia física, sino solo en la imaginación o en el pensamiento: valor moral que se tienen acerca de una cosa o del mundo en general. En matemática, subconjunto I, de un anillo A, que satisface las siguientes condiciones: 1º) I es un subgrupo del grupo aditivo de A, y 2º) Para cualquier a E A y cualquier b E I se cumple a · b E I y b · a E I.