логічна операція, під час якої із більш загальних (родових) понять утворюються менш загальні поняття

логічна операція, в якій для певного поняття знаходять більш широке за обсягом поняття, до обсягу якого входить і вихідне поняття