Structure theory on top of Mereology