triple (Q2088): Difference between revisions

@@ Property / subclass of @@
+n-tuple
@@ Property / subclass of: n-tuple / rank @@
+Normal rank
@@ Property / subclass of: n-tuple / qualifier @@
+of: 3
@@ Property / subclass of @@
+triad
@@ Property / subclass of: triad / rank @@
+Normal rank
@@ Property / subclass of: triad / qualifier @@
+has characteristic: order
@@ Property / follows @@
+ordered pair
@@ Property / follows: ordered pair / rank @@
+Normal rank
@@ Property / follows: ordered pair / qualifier @@
+criterion used: arity
@@ Property / defining formula @@
+ $(a,b,c)=\{(a,b),\{(a,b),\{c\}\}\}$ 
(a,b,c)=\{(a,b), \{(a,b), \{c\}\}\}
@@ Property / defining formula: $(a,b,c)=\{(a,b),\{(a,b),\{c\}\}\}$ / rank @@
+Normal rank
@@ Property / followed by @@
+-tuple
@@ Property / followed by: 4-tuple / rank @@
+Normal rank
@@ Property / followed by: 4-tuple / qualifier @@
+criterion used: arity
@@ Property / MathWorld ID @@
+Triple
@@ Property / MathWorld ID: Triple / rank @@
+Normal rank
@@ Property / BabelNet ID @@
+00078196n
@@ Property / BabelNet ID: 00078196n / rank @@
+Normal rank
@@ Property / different from @@
+triad
@@ Property / different from: triad / rank @@
+Normal rank
@@ Property / different from: triad / qualifier @@
+criterion used: order
@@ Property / different from: triad / reference @@
+inferred from: triad
@@ Property / has characteristic @@
+arity
@@ Property / has characteristic: arity / rank @@
+Normal rank
@@ Property / has characteristic: arity / qualifier @@
+numeric value: 3Amount 3
Unit 1
 Amount
 Unit
@@ Property / Joconde object type ID @@
+T505-5208
@@ Property / Joconde object type ID: T505-5208 / rank @@
+Normal rank
@@ Property / Metamath statement ID @@
+df-ot
@@ Property / Metamath statement ID: df-ot / rank @@
+Normal rank