Britannica AI Icon

Quick Summary

In logic, an intransitive relation is one that does not hold between a and c if it also holds between a and b, and between b and c. This means that if a relation applies from a to b and from b to c, it cannot apply from a to c.

An example of an intransitive relation is "is the biological daughter of." If Mary is the daughter of Jane, and Jane is the daughter of Alice, Mary cannot be the daughter of Alice. Another example is "is the square of". This is contrasted with transitive relations, such as "is equal to" or "is greater than," where if the relation holds between a and b, and b and c, it also holds between a and c.12

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.