ในทางคณิตศาสตร์สูตรของพอร์เทียสหรือสูตรของทอม-พอร์เทียสหรือสูตรของจิอัมเบลลี-ทอม-พอร์เทียสคือนิพจน์สำหรับชั้นพื้นฐานของโลคัสความเสื่อม (หรือวาไรตีดีเทอร์มิแนนต์ ) ของมอร์ฟิซึมของเวกเตอร์บันเดิลในรูปของชั้นเชิร์นสูตรของจิอัมเบลลีเป็นกรณีพิเศษโดยประมาณเมื่อเวกเตอร์บันเดิลเป็นผลรวมของไลน์บันเดิลเหนือปริภูมิเชิงโปรเจกทีฟ ทอม( 1957 )ชี้ให้เห็นว่าชั้นพื้นฐานต้องเป็นพหุนามในชั้นเชิร์นและพบพหุนามนี้ในบางกรณีพิเศษ และพอร์เทียส( 1971 )พบพหุนามในกรณีทั่วไปเคมป์ฟและลักซอฟ (1974)พิสูจน์เวอร์ชันทั่วไปมากขึ้น และฟุลตัน (1992)ขยายความทั่วไปเพิ่มเติม  

กำหนดให้มอร์ฟิซึมของเวกเตอร์บันเดิลEและFที่มีอันดับmและnบนวาไรตี้เรียบ ตำแหน่งความเสื่อมลำดับที่ k ( k ≤ min( m , n )) คือวาไรตี้ของจุดที่มอร์ฟิซึมมีอันดับไม่เกินkหากส่วนประกอบทั้งหมดของตำแหน่งความเสื่อมมีมิติร่วม ที่คาดหวัง ( m – k )( n – k ) แล้วสูตรของ Porteous ระบุว่าคลาสพื้นฐานของมันคือดีเทอร์มิแนนต์ของเมทริกซ์ขนาดm – kซึ่งสมาชิก ( i , j ) คือคลาส Chern c ( F – E )