def is_relation()

in src/math_verify/grader.py [0:0]


def is_relation(expr: Basic | MatrixBase) -> bool:
    """Check if an expression is a relational expression.

    Args:
        expr: The expression to check
    Returns:
        bool: True if expr is a relational expression or And of relations, False otherwise
    """
    if isinstance(expr, Relational):
        return True

    if isinstance(expr, And) and len(expr._unsorted_args) > 0:
        return all(isinstance(arg, Relational) for arg in expr._unsorted_args)

    return False