Это логико-методологическая процедура, посредством которой осуществляется переход от общего к частному в процессе рассуждения.