:: deftheorem defines C_3 PARSP_1:def 7 :
for F being Field holds C_3 F = [: the carrier of F, the carrier of F, the carrier of F:];