[0KC] Prerequisites:[0HY]↺↻.Explain how Definition [0K4]↺↻ can be seen as a special case of Definition [0KB]↺↻. (Hint. proceed as in the note [0HY]↺↻ and set \(E=J,X=I,x_ 0=∞\)).