The area of images of classes of measurable sets on Carnot groups with sub-Lorentzian structure

For the intrinsically Lipschitz mappings defined on classes of measurable subsets of Carnot groups of arbitrary depth and acting to Carnot groups with sub-Lorentzian structure, we obtain a sub-Lorentzian analog of the area formula and in particular introduce a suitable definition of Hausdorff measure for the images of measurable sets incorporating the details of their structure.