parallel postulate Synonyms