# pseudodifference

An element $z$ of lattice $L$ is pseudodifference of $y$ and $x$ ($y\setminus x$) if $z$ is the least element such that $y\leq x\cup z$.

Pseudodifference is denoted either as $\setminus$ or as $-$. Sometimes pseudodifference is denoted as $\setminus^{*}$.

The definition is borrowed from http://www.hindawi.com/Getpdf.aspx?doi=10.1155/S0161171280000312this online article.

Title pseudodifference Pseudodifference 2013-03-22 17:58:35 2013-03-22 17:58:35 porton (9363) porton (9363) 5 porton (9363) Definition msc 06B99 pseudo difference Pseudocomplement DifferenceOfLatticeElements