| Ceratozetidae Jacot, 1925 (Family) |
| | | | | | | | | | details |
| Alphypochthonius Schweizer, 1956 (Genus) |
| | | | | | | | | | details |
| Alphypochthonius aequalis Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius alpinus Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius curtipilis Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius hermannioides Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius jueradae Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius lischanni Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius medius Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius nivalis Schweizer, 1956 (Species) |
| | | | | | | | | | details |
| Alphypochthonius trupchumi Schweizer, 1956 (Species) |
| | | | | | | | | | details |