Etymology

orthocomplementation

Today it means: An involution on a complemented lattice which is order-reversing and maps each element to a complement. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok