Forsseerimine (matemaatika): erinevus redaktsioonide vahel

[[Tingimushulk|Tingimushulga]] all mõistetakse mudelil <math>M</math> defineeritud [[järjestatud kolmik]]ut <math>\langle P,\leq_P,1_P\rangle</math>, kus <math>\leq_P</math> on [[eeljärjestus]] hulgal <math>P</math> ning <math>1_P</math> on [[suurim element]] selle eeljärjestuse suhtes. Hulga <math>P</math> [[element (matemaatika)|element]]e nimetatakse [[tingimus (hulgateooria)|tingimus]]teks. Tingimus <math>p</math> on tugevam kui tingimus <math>q</math>, kui <math>p\leq q</math>. Rakendustes on eeljärjestus <math>\leq_P</math> enamasti [[antisümmeetria|antisümmeetriline]], nii et tegu on [[osaline järjestus|osalise järjestusega]]. Teoorias ei ole see nõue tarvilik.