for x being non empty set holds product <*x*> = { <*y*> where y is Element of x : verum }