for L being non empty Boolean RelStr
for a, b being Element of L holds a \ (a \ b) = a "/\" b