#binary relation #related pair #order structure #mathematical structure #biorder #order theory #graph theory