| Attributes | Values |
|---|
| rdfs:label
| |
| rdfs:comment
| - Пусть дано множество
* Бинарное отношение на называется предпорядком (или квазипорядком), если оно транзитивно и рефлексивно, то есть 1.
*
*
* Бинарное отношение на называется отношением нестрогого частичного порядка (или нестрогим порядком) на , если оно транзитивно, антисимметрично и рефлексивно, то есть 1.
*
*
*
* Бинарное отношение на называется отношением строгого частичного порядка (или строгим порядком) на , если оно транзитивно и асимметрично, то есть 1.
*
*
* Множество, на котором определён частичный порядок, называется частично упорядоченным.
* Отношение порядка , являющееся полным, то есть таким, что называется полным порядком. Множество, на котором определён полный порядок, называется полностью упорядоченным (или цепью).
|
| dcterms:subject
| |
| dbkwik:ru.math/pro...iPageUsesTemplate
| |
| abstract
| - Пусть дано множество
* Бинарное отношение на называется предпорядком (или квазипорядком), если оно транзитивно и рефлексивно, то есть 1.
*
*
* Бинарное отношение на называется отношением нестрогого частичного порядка (или нестрогим порядком) на , если оно транзитивно, антисимметрично и рефлексивно, то есть 1.
*
*
*
* Бинарное отношение на называется отношением строгого частичного порядка (или строгим порядком) на , если оно транзитивно и асимметрично, то есть 1.
*
*
* Множество, на котором определён частичный порядок, называется частично упорядоченным.
* Отношение порядка , являющееся полным, то есть таким, что называется полным порядком. Множество, на котором определён полный порядок, называется полностью упорядоченным (или цепью).
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)