Induced betweenness in order-theoretic trees

The ternary relation B(x,y,z) of betweenness states that an element y is between the elements x and z, in some sense depending on the considered structure. In a partially ordered set (N,≤), B(x,y,z):⇔x<y<z∨z<y<x, and the corresponding betweenness structure is (N,B). The class of betweenn...

Full description

Bibliographic Details
Main Author: Bruno Courcelle
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2022-09-01
Series:Discrete Mathematics & Theoretical Computer Science
Subjects:
Online Access:https://dmtcs.episciences.org/7288/pdf