Sınırlı kafesler üzerinde gerektirmelerden elde edilen kısmen sıralama

Bu çalışmada bir sınırlı L kafesi üzerinde I gerektirmesi yardımıyla ≼_I ile gösterilen bir bağıntı tanımlanmış ve ≼_I nın hangi şartlar altında kısmen sıralama bağıntısı olduğu incelenmiştir. Bir sınırlı L kafesi üzerinde tanımlanan ≼_I kısmen sıralama bağıntısı tanımlanmış ve ≤ ile ≼_I arasındaki ilişki araştırılmıştır. (L,≼_I) kısmen sıralı kümenin en büyük ve en küçük elemanları incelenmiştir. L bir kafes olsa bile L nin ≼_I sıralamasına göre bir kafes olması gerekmediği örneklerle gösterilmiştir. L i ≼_I sıralamasına göre kafes yapan şart belirlenmiştir. T sol sürekli bir t-norm ve I_T, t-norm T'den elde edilen bir rezidual gerektirme olmak üzere I_T ve T' den elde edilen kısmen sıralama bağıntılarının birbirinden bağımsız olduğu örnek ile açıklanmıştır. L sınırlı kafesi üzerinde tanımlanan I(x,y)=N(x)∨y gerektirmesinden elde edilen ≼_I sıralamasının L deki ≤ sıralamaya eşit olduğu ispatlanmıştır.