Традиционная логика

РОДОВИДОВОЕ ОПРЕДЕЛЕНИЕ

разновидность явного определения, имеющего схему: " А есть В (с)", в которой А - определяемое понятие, В - понятие, родовое в отношении А, с - понятие, фиксирующее видовые признаки предметов, обозначаемых понятием А, отличающие их от других предметов, входящих в объем понятия В.