CAR algebra