The validity of two theorems, through which takes place the axiomatic founding of the distributive nettings with 0, as well that of the distributive nettings with I, is proved.
Αποδεικνύεται η ισχύς δύο θεωρημάτων, μέσω των οποίων γίνεται η αξιωματική θεμελίωση των επιμεριστικών δικτυωτών με 0, καθώς και των επιμεριστικών δικτυωτών με I.
