Add 'Home'

2023-01-16 20:49:26 +00:00 · 2023-01-16 20:49:26 +00:00 · da44f53e49
commit da44f53e49
1 changed files with 3 additions and 0 deletions
--- a/Home.md
+++ b/Home.md
@ -0,0 +1,3 @@
+- only subseteq relation (only complete lattice)
+- Maybe product lattice 
+- only operators that are strictly increasing