Completeness and transitivity properties