Örtü tabanlı kaba küme teorisi

Kaba küme teorisinin başlangıcı nesneler ve nesnelere ait özellikleri ilişkilendiren bilgi sistemleri olarak bilinir. Aynı özelliklere sahip olan nesneler birbirlerinden ayırt edilemez. Ayırt edilemez nesne ikilileri nesneler kümesi üzerinde bir denklik bağıntısı tanımlar. Her nesnenin özelliklere bağlı denklik sınıflarının kümesi nesneler kümesinin bir ayrışımını oluşturur. Elde edilen ayrışım evrensel kümenin özel bir örtüsüdür ve bu durum bilimsel araştırmalarda kısıtlayıcı olabilmektedir. Bilimsel çalışmaları daha geniş bir alana yayabilmek için ayrışımın bir genelleştirilmesi olan örtü kavramı verilmiştir. Böylece örtü tabanlı kaba küme teorisinin temelleri atılmıştır. Örtü tabanlı kaba küme teorisi; bilinen klasik kaba küme teorisinin sınırlarını aşmaktadır. Bu tez çalışmasının amacı bağıntı tabanlı kaba kümeler ve örtü tabanlı kaba kümeler arasındaki ilişkileri incelemektir.