Goodman–Nguyen–Van Fraassen algebra