for L being Quasi-Boolean_Algebra
for x, y being Element of L holds (x "\/" y) ` = (x `) "/\" (y `)