ในทฤษฎีเซต ทางคณิตศาสตร์ แบบจำลองการเรียงสับเปลี่ยน (permutation model) คือแบบจำลองของทฤษฎีเซตที่มีอะตอม (ZFA) ซึ่งสร้างขึ้นโดยใช้กลุ่มของการเรียงสับเปลี่ยนของอะตอม แบบจำลองสมมาตร ( symmetric model ) คล้ายกัน ยกเว้นว่าเป็นแบบจำลองของ ZF (ไม่มีอะตอม) และสร้างขึ้นโดยใช้กลุ่มของการเรียงสับเปลี่ยนของเซตบังคับ (forcing poset ) การประยุกต์ใช้ประการหนึ่งคือการแสดงให้เห็นถึงความเป็นอิสระของสัจพจน์ของการเลือกจากสัจพจน์อื่นๆ ของ ZFA หรือ ZF แบบจำลองการเรียงสับเปลี่ยนได้รับการแนะนำโดยFraenkel  ( 1922 ) และได้รับการพัฒนาเพิ่มเติมโดยMostowski  ( 1938 ) แบบจำลองสมมาตรได้รับการแนะนำโดยPaul Cohen

สมมติว่าAคือเซตของอะตอม และGคือกลุ่มของการเรียงสับเปลี่ยนของA ตัวกรองปกติของG คือชุดFของกลุ่มย่อยของGซึ่งเป็นไปตามเงื่อนไขต่อไป นี้

• Gอยู่ในF
• จุดตัดขององค์ประกอบสองตัวของFอยู่ในF
• กลุ่มย่อยใดๆ ที่มีสมาชิกของFอยู่ในF
• คอนจูเกตใดๆของธาตุในFก็อยู่ในF เช่นกัน
• กลุ่มย่อยที่ตรึงองค์ประกอบใดๆ ของA ไว้ในF

ถ้าVเป็นแบบจำลองของ ZFA โดยที่Aคือเซตของอะตอมแล้ว สมาชิกของVจะเรียกว่าสมมาตร ถ้ากลุ่มย่อยที่ตรึงสมาชิกนั้นอยู่ในFและจะเรียกว่าสมมาตรโดยกรรมพันธุ์ ถ้าสมาชิกนั้นและสมาชิกทั้งหมดของการปิดแบบทรานซิทีฟของมันเป็นสมมาตรแบบจำลองการเรียงสับเปลี่ยนประกอบด้วยสมาชิกสมมาตรโดยกรรมพันธุ์ทั้งหมด และเป็นแบบจำลองของ ZFA

ตัวกรองบนกลุ่มสามารถสร้างขึ้นจากอุดมคติไม่เปลี่ยนแปลงบนพีชคณิตบูลีนของเซตย่อยของAที่ประกอบด้วยสมาชิกทั้งหมดของAในที่นี้ อุดมคติคือชุดของเซตย่อยของAที่ปิดภายใต้การรวมกันและเซตย่อยแบบจำกัด และเรียกว่าไม่เปลี่ยนแปลงถ้ามันไม่เปลี่ยนแปลงภายใต้การกระทำของกลุ่มGสำหรับแต่ละสมาชิกSของอุดมคติ เราสามารถเลือกกลุ่มย่อยของG ที่ประกอบด้วยสมาชิกทั้งหมดที่ตรึงสมาชิก Sทุกตัวไว้ กลุ่มย่อยเหล่านี้ สร้าง ตัวกรองปกติของG