Goodman–Nguyen–van Fraassen algebra