Exterior algebra