У філософії та логіці: такий, що поєднує ознаки узагальненого (абстрактного) поняття та ідеального об’єкта, що існує лише в мисленні як теоретична конструкція.
У математиці: такий, що стосується певного класу узагальнених (ідеальних) математичних об’єктів або структур, що не мають прямого аналога в реальності, але є корисними для теоретичного аналізу.