ELEMENTARY INDUCTION ON ABSTRACT STRUCTURES