for V being non empty RLSStruct
for M, N being Subset of V st M is cone & N is cone holds
M /\ N is cone