Documentation

Mathlib.ModelTheory.Graph

First-Order Structures in Graph Theory #

This file defines first-order languages, structures, and theories in graph theory.

Main Definitions #

Simple Graphs #

The language consisting of a single relation representing adjacency.

Equations
Instances For

    The symbol representing the adjacency relation.

    Equations
    Instances For

      Any simple graph can be thought of as a structure in the language of graphs.

      Equations
      Instances For

        Any model of the theory of simple graphs represents a simple graph.

        Equations
        Instances For