CALCULATE WITH CONFIDENCE

Set Theory & Logic

Binary Relation Properties Calculator

Classify a finite binary relation by its standard properties.

Set Theory & Logic

Enter values

Private calculation in your browser

Use the notation shown in each label and example. Inputs stay on this device and are never sent to a calculation service.

Result

—

Enter valid values to see the result.

Your entries are calculated in this browser and are not submitted to 365CALCS.COM.

Quick guide

How to use this calculator

  1. Enter values using the notation shown beside each field.
  2. Choose a calculation mode when the tool offers more than one interpretation.
  3. Read the primary answer first, then inspect the supporting details.

Calculation method

Apply the stated definition

Check reflexivity, symmetry, antisymmetry, asymmetry, and transitivity.

The calculator validates the mathematical domain before returning a result and does not replace undefined states with zero.

Worked example

Worked example

The ≤ relation on a finite ordered set is a partial order.

Check reflexivity, symmetry, antisymmetry, asymmetry, and transitivity.

Supported inputs

Precision and limits

Finite, bounded input

Set and logic tools use finite inputs so every result can be checked completely. Each page states its practical size limit.

Notation

Set elements are comma-separated text labels. Logic operators and relation-pair notation are documented in the relevant input labels.