In mathematics, specifically order theory, the join of a subset of a partially ordered set is the supremum (least upper bound) of denoted and similarly, the meet of is the infimum (greatest lower bound), denoted In general, the join and meet of a subset of a partially ordered set need not exist. Join and meet are dual to one another with respect to order inversion. The join/meet of a subset of a totally ordered set is simply the maximal/minimal element of that subset, if such an element exists.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Sambungan dan pertemuan (matematika) (in)
- Join and meet (en)
- 結びと交わり (ja)
- Поєднання та зустріч (uk)
- 交运算 (zh)
|
| rdfs:comment
| - 半順序集合 P において、部分集合 S の結び (join) と交わり (meet) はそれぞれ S の上限（最小上界）⋁S と S の下限（最大下界）⋀S である。一般に、半順序集合の部分集合の結びや交わりは存在するとは限らない；存在するときには、それらは P の元である。 結びと交わりは P の元の対上の可換結合的冪等部分二項演算として定義することもできる。a と b が P の元であるとき、結びは a ∨ b と書かれ、交わりは a ∧ b と書かれる。 結びと交わりは順序の反転に関して対称である。全順序集合の部分集合の結び/交わりは単にその極大/極小元である。 すべての対が結びを持つような半順序集合は である。双対的に、すべての対が交わりを持つような半順序集合は である。join-semilattice でも meet-semilattice でもあるような半順序集合は束である。単にすべての対ではなくすべての部分集合が結びと交わりを持つような束は完備束である。すべての対が結びや交わりをもつわけではないがその演算が（定義されるときに）ある公理を満たすような を定義することもできる。 (ja)
- 在数学中，在一个集合上的交(meet)有两种定义：关于在这个集合上的偏序的唯一下确界(最大下界)，假定下确界存在的话； 或者是满足幂等律的交换结合二元运算。在任何一个情况下，这个集合与交运算一起是半格。这两个定义产生等价的结果，除了在偏序方式中有可能直接定义更一般的元素的集合的交。最常见到交运算的领域是格。 通常把 和 的交指示为 。 (zh)
- In mathematics, specifically order theory, the join of a subset of a partially ordered set is the supremum (least upper bound) of denoted and similarly, the meet of is the infimum (greatest lower bound), denoted In general, the join and meet of a subset of a partially ordered set need not exist. Join and meet are dual to one another with respect to order inversion. The join/meet of a subset of a totally ordered set is simply the maximal/minimal element of that subset, if such an element exists. (en)
- Dalam matematika, khususnya teori order, sambungan dari himpunan bagian S dari himpunan terurut parsial P adalah supremum (batas atas terkecil) dari S dirumuskan sebagai ⋁S, untuk pertemuan dari S adalah infimum (batas bawah terbesar), dirumuskan sebagai ⋀S. Secara umum, sambungan dan pertemuan dari himpunan bagian adalah himpunan terurut parsial. Sambungan dan pertemuan adalah dengan relasi untuk balikan urutan. Gabungan/bertemu himpunan bagian dari himpunan terurut total adalah elemen maksimal/minimal, jika elemen tersebut tersedia. (in)
- У математиці, в області теорії порядку для підмножини частково впорядкованої множини розглядають операції:
* поєднання (англ. join) результатом є супремум (точна верхня межа) позначається
* зустріч (англ. meet) результатом є інфімум (точна нижня межа) позначається В загальному випадку результати цих операцій можуть не існувати. Операції є дуальними одна до одної при зміні порядку на протилежний. (uk)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - In mathematics, specifically order theory, the join of a subset of a partially ordered set is the supremum (least upper bound) of denoted and similarly, the meet of is the infimum (greatest lower bound), denoted In general, the join and meet of a subset of a partially ordered set need not exist. Join and meet are dual to one another with respect to order inversion. A partially ordered set in which all pairs have a join is a join-semilattice. Dually, a partially ordered set in which all pairs have a meet is a meet-semilattice. A partially ordered set that is both a join-semilattice and a meet-semilattice is a lattice. A lattice in which every subset, not just every pair, possesses a meet and a join is a complete lattice. It is also possible to define a partial lattice, in which not all pairs have a meet or join but the operations (when defined) satisfy certain axioms. The join/meet of a subset of a totally ordered set is simply the maximal/minimal element of that subset, if such an element exists. If a subset of a partially ordered set is also an (upward) directed set, then its join (if it exists) is called a directed join or directed supremum. Dually, if is a downward directed set, then its meet (if it exists) is a directed meet or directed infimum. (en)
- Dalam matematika, khususnya teori order, sambungan dari himpunan bagian S dari himpunan terurut parsial P adalah supremum (batas atas terkecil) dari S dirumuskan sebagai ⋁S, untuk pertemuan dari S adalah infimum (batas bawah terbesar), dirumuskan sebagai ⋀S. Secara umum, sambungan dan pertemuan dari himpunan bagian adalah himpunan terurut parsial. Sambungan dan pertemuan adalah dengan relasi untuk balikan urutan. Himpunan terurut parsial dimana semua relasi menggunakan sambungan adalah . Secara ganda, himpunan terurut parsial dimana semua relasi menggunakan pertemuan adalah . Himpunan terurut parsial merupakan sambungan semikekisi dan semikekisi bertemu adalah kekisi. Sebuah kekisi yang mana setiap himpunan bagian, untuk relasi menggunakan pertemuan dan sambungan adalah kekisi lengkap. Mendefinisikan , dimana tidak semua relasi bertemu atau bergabung, operasi (jika ditentukan) memenuhi aksioma tertentu. Gabungan/bertemu himpunan bagian dari himpunan terurut total adalah elemen maksimal/minimal, jika elemen tersebut tersedia. Jika himpunan S dari himpunan terurut parsial P merupakan (atas) , maka gabungan disebut gabungan terarah atau supremum terarah. Secara ganda, jika S adalah himpunan terarah ke bawah, maka pertemuan adalah pertemuan terarah atau infimum terarah. (in)
- 半順序集合 P において、部分集合 S の結び (join) と交わり (meet) はそれぞれ S の上限（最小上界）⋁S と S の下限（最大下界）⋀S である。一般に、半順序集合の部分集合の結びや交わりは存在するとは限らない；存在するときには、それらは P の元である。 結びと交わりは P の元の対上の可換結合的冪等部分二項演算として定義することもできる。a と b が P の元であるとき、結びは a ∨ b と書かれ、交わりは a ∧ b と書かれる。 結びと交わりは順序の反転に関して対称である。全順序集合の部分集合の結び/交わりは単にその極大/極小元である。 すべての対が結びを持つような半順序集合は である。双対的に、すべての対が交わりを持つような半順序集合は である。join-semilattice でも meet-semilattice でもあるような半順序集合は束である。単にすべての対ではなくすべての部分集合が結びと交わりを持つような束は完備束である。すべての対が結びや交わりをもつわけではないがその演算が（定義されるときに）ある公理を満たすような を定義することもできる。 (ja)
- 在数学中，在一个集合上的交(meet)有两种定义：关于在这个集合上的偏序的唯一下确界(最大下界)，假定下确界存在的话； 或者是满足幂等律的交换结合二元运算。在任何一个情况下，这个集合与交运算一起是半格。这两个定义产生等价的结果，除了在偏序方式中有可能直接定义更一般的元素的集合的交。最常见到交运算的领域是格。 通常把 和 的交指示为 。 (zh)
- У математиці, в області теорії порядку для підмножини частково впорядкованої множини розглядають операції:
* поєднання (англ. join) результатом є супремум (точна верхня межа) позначається
* зустріч (англ. meet) результатом є інфімум (точна нижня межа) позначається В загальному випадку результати цих операцій можуть не існувати. Операції є дуальними одна до одної при зміні порядку на протилежний.
* Посет, в якому для всіх пар елементів існує , називають join-напівґраткою (верхньою-напівґраткою).
* Посет, в якому для всіх пар елементів існує , називають meet-напівґраткою (нижньою-напівґраткою).
* Посет, в якому для всіх пар елементів існують обидві операції, називають ґраткою. (uk)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
