transitive property of equality - German English Dictionary