horn_formulas - MathStructures

A list of atomic formulas, quasiequations and universal Horn formulas.

reflexive:	$xRx$
transitive:	$xRy \mbox{ and } yRz\Longrightarrow xRz$
antisymmetric:	$xRy \mbox{ and } yRx\Longrightarrow x=y$
left cancellation:	$xy=xz\Longrightarrow y=z$	right cancellation:	$xz=yz\Longrightarrow x=y$
left R-preserving:	$xRy \Longrightarrow zx\ R\ zy$	right R-preserving:	$xRy \Longrightarrow xz\ R\ yz$