Index - A
| adjoint | Data.Connection.Property |
| adjointL | Data.Connection.Property |
| adjointR | Data.Connection.Property |
| adjunction | Data.Connection.Property |
| antisymmetric | Data.Order.Property |
| antisymmetric_le | Data.Order.Property |
| antitone | Data.Connection.Property |
| asymmetric | Data.Order.Property |
| asymmetric_lt | Data.Order.Property |