Файл:BinRelProp Impl Confl.gif

Исходный файл (867 × 636 пикселей, размер файла: 16 КБ, тип MIME: image/gif )

Это изображение можно воссоздать с помощью векторной графики в виде файла SVG . Это имеет несколько преимуществ; см. Commons:Media for cleanup для получения дополнительной информации. Если доступна форма SVG этого изображения, пожалуйста, загрузите ее и затем замените этот шаблон на .{{vector version available|new image name}}


Рекомендуется назвать SVG-файл «BinRelProp Impl Confl.svg» — тогда доступная версия шаблона Vector (или Vva) не будет нуждаться в новом параметре имени изображения .

Краткое содержание

ОписаниеBinRelProp Impl Confl.gif
Русский: Показывает импликации (тупой светло-голубой конец ⇒ заостренный темно-синий конец) и конфликты (красный) между свойствами (желтый) однородных бинарных отношений. Например, каждое асимметричное отношение является иррефлексивным ( " ASym ⇒ Irrefl " ), и никакое отношение на непустом множестве не может быть одновременно иррефлексивным и рефлексивным ( " Irrefl # Refl " ). Пропуск красных ребер приводит к диаграмме Хассе.
Дата
ИсточникСобственная работа
АвторЙохен Бургхардт

Лицензирование

Я, владелец авторских прав на данную работу, настоящим публикую ее на условиях следующей лицензии:
w:ru:Creative Commons
атрибуция доля одинаково
Этот файл лицензирован в соответствии с лицензией Creative Commons Attribution-Share Alike 4.0 International.
Вы свободны:
  • делиться – копировать, распространять и передавать работу
  • ремиксовать – адаптировать произведение
При следующих условиях:
  • атрибуция – Вы должны указать соответствующее авторство, предоставить ссылку на лицензию и указать, были ли внесены изменения. Вы можете сделать это любым разумным способом, но не таким образом, который подразумевает, что лицензиар одобряет вас или ваше использование.
  • распространяйте на равных условиях – если вы делаете ремиксы, преобразуете или дополняете материал, вы должны распространять свои вклады по той же или совместимой лицензии, что и оригинал.
https://creativecommons.org/licenses/by-sa/4.0CC BY-SA 4.0Creative Commons Attribution-Share Alike 4.0истинныйистинный
Аннотации
Инфополе
Это изображение аннотировано: Просмотреть аннотации на Commons
107
600
45
10
867
636

ко-рефлексивный

13
200
30
10
867
636

переходный

508
200
40
10
867
636

нерефлексивный

713
200
30
10
867
636

рефлексивный

116
200
25
10
867
636

симметричный

431
200
50
10
867
636

антисимметричный

440
400
30
10
867
636

асимметричный

806
600
40
10
867
636

соединять

596
400
65
10
867
636

полуконнект

208
200
45
10
867
636

левый евклидов

309
200
45
10
867
636

правый евклидов

703
100
50
10
867
636

левый последовательный: ∀ y  ∃ x .  xRy

801
100
55
10
867
636

правый последовательный: ∀ x  ∃ y .  xRy

500
400
60
10
867
636

антитранзитивный

604
325
55
10
867
636

несравнимость-транзитивность: ∀ x , y , z . ¬ xRy  ∧ ¬ yRx ∧ ¬ yRz  ∧ ¬ zRy ⇒ ¬ xRz  ∧ ¬ zRx

652
500
50
10
867
636

право-уникальный

555
500
55
10
867
636

лево-уникальный

437
0
40
10
867
636

плотный

99
100
65
10
867
636

квазитранзитивный

425
100
60
10
867
636

квазирефлексивный

601
250
55
10
867
636

свойство полупорядка 2 (аксиома 3): ∀ w , x , y , z . xRy  ∧  yRz ⇒ wRx  ∨  xRw ∨ wRy  ∨  yRw ∨ wRz  ∨  zRw

803
250
55
10
867
636

свойство полупорядка 1 (аксиома 2): ∀ w , x , y , z . wRx  ∧ ¬ xRy  ∧ ¬ yRx  ∧  yRz ⇒ wRz

Подписи

Добавьте однострочное объяснение того, что представляет собой этот файл.

Элементы, изображенные в этом файле

изображает

создатель

некоторая ценность

строка имени автора : Йохен Бургхардт
Имя пользователя Викимедиа : Йохен Бургхардт
URL : http://commons.wikimedia.org/wiki/User:Йохен_Бургхардт

статус авторских прав

защищенный авторским правом

лицензия на авторское право

Creative Commons Attribution-ShareAlike 4.0 International

зарождение

1 ноября 2018 г.

источник файла

оригинальное создание загрузчика

тип носителя

изображение/гифка

контрольная сумма

641c56e559ac90d86cc71c0603e9a377fcf72964

Метод определения или стандарт : SHA-1

размер данных

16,390 байт

высота

636 пикселей

ширина

867 пикселей

История файла

Нажмите на дату/время, чтобы просмотреть файл в том виде, в котором он был в тот момент.

Дата/ВремяМиниатюраРазмерыПользовательКомментарий
текущий21:11, 1 ноября 2018 г.867 × 636 (16 КБ)Йохен БургхардтПользователь создал страницу с помощью UploadWizard

Следующая страница использует этот файл:

Метаданные

Этот файл содержит дополнительную информацию, вероятно, добавленную с цифровой камеры или сканера, использовавшихся для его создания или оцифровки.

Если файл был изменен по сравнению с его исходным состоянием, некоторые данные могут не полностью отражать измененный файл.

Взято с "https://en.wikipedia.org/wiki/File:BinRelProp_Impl_Confl.gif"