transitiveness