Saying 'a bachelor is an unmarried man' is a tautology.

tautology 是名词，来自希腊语 tautologos（重复说同样的话），由 tauto（同样的）和 logos（话语）组成。在逻辑学和语言学中，指用不同词语重复表达相同意思的冗余表达方式，即"同义反复"。