שיכון סגרה – הבדלי גרסאות

<center><math>z_{ij} z_{rl} - z_{il} z_{rj} = 0</math></center>

באשר <math>i,r = 0,...,n</math> ו-<math>j,l = 0 , ... , m </math>. יתר על כן, העתקת סגרה מגדירה [[איזומורפיזם]] מ- <math>\mathbb{P}^n_k \times \mathbb{P}^m_k</math> ליריעת סגרה.

! הוכחה

|-