meet (Q1453): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / MathWorld ID | |||
Meet | |||
Property / MathWorld ID: Meet / rank | |||
Normal rank | |||
Property / part of | |||
Property / part of: join and meet / rank | |||
Normal rank | |||
Property / instance of | |||
Property / instance of: operation / rank | |||
Normal rank | |||
Property / opposite of | |||
Property / opposite of: join / rank | |||
Normal rank | |||
Property / nLab ID | |||
meet | |||
Property / nLab ID: meet / rank | |||
Normal rank | |||
Property / Metamath statement ID | |||
df-meet | |||
Property / Metamath statement ID: df-meet / rank | |||
Normal rank |
Latest revision as of 15:57, 29 July 2024
operation in a poset
Language | Label | Description | Also known as |
---|---|---|---|
English | meet |
operation in a poset |
Statements
Identifiers
Meet
0 references
meet
0 references
df-meet
0 references