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\le 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
Canonical name	Pseudodifference
Date of creation	2013-03-22 17:58:35
Last modified on	2013-03-22 17:58:35
Owner	porton (9363)
Last modified by	porton (9363)
Numerical id	5
Author	porton (9363)
Entry type	Definition
Classification	msc 06B99
Synonym	pseudo difference
Related topic	Pseudocomplement
Related topic	DifferenceOfLatticeElements