%0 Journal Article %T Morphology for Image Processing. Part I %A Hiroshi Yamazaki %A Czes aw Byli¨˝ski %A Katsumi Wasaki %J Formalized Mathematics %@ 1898-9934 %D 2012 %I %R 10.2478/v10037-012-0008-y %X In this article we defined mathematical morphology image processing with set operations. First, we defined Minkowski set operations and proved their properties. Next, we defined basic image processing, dilation and erosion proving basic fact about them [5], [8]. %U http://versita.metapress.com/content/m714774x87123t41/?p=430716bb19384440aaea6ce45ed7408d&pi=7