Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)
In this report, we define an algebra of dyadic intervals. Thereupon, we present a formalization of a generalized theory of interval differentiation and investigate into some of the analytic and algebraic properties thereof.