diff --git a/src/main/java/com/example/bais/InvariantRules.java b/src/main/java/com/example/bais/InvariantRules.java
new file mode 100644
index 0000000..ab807d4
--- /dev/null
+++ b/src/main/java/com/example/bais/InvariantRules.java
@@ -0,0 +1,12 @@
+package com.example.bais;
+
+public class InvariantRules {
+    public static final String ACCOUNT_UNIQUE_ID = "모든 계정은 고유한 ID를 가져야 한다.";
+    public static final String ACCOUNT_EMAIL_VALID = "계정 생성 시 이메일 주소는 유효해야 한다.";
+    public static final String AUTHENTICATION_TWO_STEP = "사용자 인증은 두 단계로 진행되어야 한다.";
+    public static final String AUTHORIZATION_ROLE_BASED = "사용자 역할에 따라 접근 권한이 달라져야 한다.";
+    public static final String CARD_ENCRYPTION = "모든 카드 정보는 암호화되어 저장되어야 한다.";
+    public static final String BATCH_LOG_RETENTION = "배치 작업의 로그는 최소 30일간 보관해야 한다.";
+
+    // 추가적인 불변식 메서드 및 로직을 여기에 추가할 수 있습니다.
+}
\ No newline at end of file