A^⊤ = transpozycja macierzy A^⊥ = kod dualny A^⊢ = nieużywane (domknięcie dedukcyjne?) A^⊣ = nieużywane (złe domknięcie dedukcyjne?)