Mathlib

Connected and acyclic. Adding any edge creates a cycle; deleting any edge disconnects.