Bazı cebirsel yapılar için sonlu türetilmiş tip özelliği

S bir yarıgrup ve r da S üzerinde bir kongrüans olsun. Bu tezde, r kongrüansı SxS direk çarpım yarıgrubunun bir alt yarıgrubu olarak ele alınmış ve eğer r sonlu türetilmiş tip özelliğine (finite derivation type, kısaca FDT) sahip ise S nin de FDT özelliğine sahip olduğu gösterilmiştir. Buna ilave olarak, M bir monoid ve T de M deki indeksi sonlu olan bir alt monoidi (yani, M, T nin bir küçük genişlemesi) olsun. Eğer T, FDT özelliğine sahip ise M nin de FDT özelliğine sahip olduğu gösterilmiştir. Y bir yarılatis, S(a) (a elemanıdır Y) ayrık yarıgrupların bir ailesi ve S bu yarıgrupların bir güçlü yarılatisi olsun. S yarıgrubunun FDT özelliğine sahip olabilmesi için gerek ve yeter koşulun Y yarılatisinin sonlu ve her S(a) (a elemanıdır Y) yarıgrubunun FDT özellğine sahip olması gerektiği gösterilmiştir.