"transitive closure" Deutsche bedeutung