lattice/conceptBelow

cicada-lang · Jul 6, 2024 · d042ac7 · d042ac7
1 parent bc0441b
commit d042ac7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,6 +1,5 @@
 # lattice
 
-`lattice/conceptBelow`
 `lattice/conceptAbove`
 
 `LatticeLayout`

diff --git a/src/lattice/conceptBelow.ts b/src/lattice/conceptBelow.ts
@@ -1,7 +1,9 @@
 import { assertSameContext } from "../concept/assertSameContext.js"
 import type { Concept } from "../concept/Concept.js"
+import { setIsSubsetOf } from "../utils/Set.js"
 
 export function conceptBelow(x: Concept, y: Concept): boolean {
   assertSameContext([x, y], { who: "conceptBelow" })
-  return false
+
+  return setIsSubsetOf(x.extent, y.extent)
 }