A natural characterization of known types of inverse transversal leads to t
he introduction of several new types, which we characterize in a similar na
tural way. Relations between the various types produce a general classifica
tion. We also determine for which types of inverse transversal considered t
he congruence extension property holds.