1 files changed, 22 insertions, 0 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/UpperCardinality.java b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/UpperCardinality.java
new file mode 100644
index 00000000..c6e31cb7
--- /dev/null
+++ b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/UpperCardinality.java
@@ -0,0 +1,22 @@
+package tools.refinery.store.representation.cardinality;
+
+public sealed interface UpperCardinality extends Comparable<UpperCardinality> permits FiniteUpperCardinality,
+                UnboundedUpperCardinality {
+        default UpperCardinality min(UpperCardinality other) {
+                return this.compareTo(other) <= 0 ? this : other;
+        }
+
+        default UpperCardinality max(UpperCardinality other) {
+                return this.compareTo(other) >= 0 ? this : other;
+        }
+
+        UpperCardinality add(UpperCardinality other);
+
+        UpperCardinality multiply(UpperCardinality other);
+
+        int compareToInt(int value);
+
+        static UpperCardinality of(int upperBound) {
+                return UpperCardinalities.valueOf(upperBound);
+        }
+}