Редактирование: РуСказки:Категоризация (раздел)

== Транзитивность ==
{{Pb}}
{{Divcolor|#ebffeb|Под [[транзитивность]]ю категорий понимается такая их структура, при которой всякая статья, входящая в какую-либо категорию, подпадает под критерии любой родительской категории вплоть до самой старшей. Иными словами, категория «Б» может быть подкатегорией категории «А» только в том случае, если все её статьи и подкатегории всех уровней не выходят за рамки категории «А», а сама она может быть отнесена ко всем родительским категориям категории «А». По возможности следует добиваться логичности и транзитивности системы категорий, если это не мешает читателям и другим участникам.}}

Многие инструменты и [[ВП:Бот|боты]] на РуСказках (в частности использующие «[[ВП:CatScan|CatScan]]») теряют свою функциональность при нарушениях транзитивности. В связи с этим настоятельно не рекомендуется нарушать транзитивность в группах категорий, относящихся к какой-либо тематической или предметной области, зачастую соответствующей какому-либо из тематических [[ВП:Проекты|вики-проектов]].

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

Наиболее желательным является построение такого [[Дерево (теория графов)|дерева]] категорий, которое бы обеспечивало соблюдение транзитивности на каждой связи. Ниже приведена таблица, отражающая типы связей, которые сохраняют транзитивность. В случаях, когда транзитивность не обеспечивается, возможны два решения: либо перестроение дерева таким образом, чтобы транзитивность соблюдалась, либо, в случаях, когда навигация между двумя категориями желательна, но транзитивным образом её реализовать невозможно, возможным решением может являться проставление ссылки на близкие по смыслу категории на самих страницах категории при помощи шаблонов {{Tl|addoncat}}, функции парсера {{Mwmw|#categorytree|}} или аналогичными способами.

Во всех случаях следует избегать включения категории, связанной с каким-либо объектом посредством отношения, нетранзитивного к вышестоящим, в категории, характеризующие только данный объект, но не все объекты, связанные с ним. Вместо этого следует включать в такую характеризующую категорию только саму статью об исходном объекте. Например, категорию «[[:Категория:Москва|Москва]]» не следует помещать в категорию «[[:Категория:Города|Города]]». В последнюю следует включить лишь саму статью «[[Москва]]». В этом случае объекты, связанные с Москвой (улицы, достопримечательности и т. п.), не попадут в категорию «[[:Категория:Города|Города]]», а статья о Москве останется в категории городов.

=== Транзитивность отдельных типов отношений ===
{{Основная статья|РуСказки:Транзитивность критериев категоризации}}
В таблице представлены основные типы семантических отношений, задаваемых используемыми в настоящий момент критериями категоризации, с указанием совместимости таких отношений с точки зрения транзитивности.
{| class="wikitable"
|-
! rowspan="2" colspan="1" | Критерий дочерней категории
! colspan="5" | Критерий родительской категории
|-align="center"
| Вид — род || Часть — целое || Объект — рубрика || Объект — ассоциированный объект || Иное
|-
| Вид — род || {{Да}} || {{Да}} || {{Да}} || {{Да}} || {{Да}}
|-
| Часть — целое || {{Нет}} || {{Да}} || {{Частично}} || {{Частично}} || {{Неизвестно}}
|-
| Объект — рубрика || {{Нет}} || {{Частично}} || {{Нет}} || {{Нет}} || {{Неизвестно}}
|-
| Объект — ассоциированный объект || {{Нет}} || {{Нет}} || {{Нет}} || {{Нет}} || {{Неизвестно}}
|-
| Иное || {{Неизвестно}} || {{Неизвестно}} || {{Неизвестно}} || {{Неизвестно}} || {{Неизвестно}}
|}
* {{Co|90ff90|Да|3}} — транзитивность обеспечивается;
* {{Co|ff9090|Нет|3}} — транзитивность не обеспечивается, возможно, за отдельными исключениями;
* {{Co|FFFF8F|Частично|3}} — транзитивность может быть достигнута и часто достигается, однако строгое соблюдение транзитивности во всех случаях не гарантируется;
* {{Co|e4e4e4|Неизвестно|3}} — ситуация с транзитивностью не установлена.

Дополнительные пояснения к таблице даны на [[РуСказки:Транзитивность критериев категоризации|отдельной странице]].